• LiquidHaskell: Refinement Types via SMT and Predicate Abstraction http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/ 3 comments 15/12/2014