Hacker News
- LiquidHaskell: Refinement Types via SMT and Predicate Abstraction http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/ 3 comments
Linking pages
Related searches:
Search whole site: site:goto.ucsd.edu
Search title: LiquidHaskell: Refinement Types via SMT and Predicate Abstraction
See how to search.