LiquidHaskell: Refinement Types in Haskell via SMT - discu.eu

Reddit

LiquidHaskell: Refinement Types in Haskell via SMT http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/01/01/refinement-types-101.lhs/ 24 comments 19/1/2013 haskell

Linking pages

Annihilators in Scala: An Example of Type Class Design - Underscore http://underscore.io/blog/posts/2015/07/02/annihilators-in-scala.html 6 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:goto.ucsd.edu

Search title: LiquidHaskell: Refinement Types in Haskell via SMT

See how to search.

Submit link to: