discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Abstract Refinement Types. What with the work being made on using an SMT solver in GHC's type checker, might this be a natural direction for GHC to move in?
http://goto.ucsd.edu/~rjhala/liquid/abstract_refinement_types.pdf
7 comments
31/5/2014
haskell