Abstract Reﬁnement 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? - discu.eu

Reddit

Abstract Reﬁnement 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

Linking pages

type-systems/refined_types at master · tomprimozic/type-systems · GitHub https://github.com/tomprimozic/type-systems/tree/master/refined_types 31 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: Abstract Reﬁnement 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?

See how to search.

Submit link to: