LiquidHaskell: Refinement Types via SMT and Predicate Abstractionhttp://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/ by luu • 12 years ago 22 3 12 years agoGOgoto.ucsd.edu