Top New Best Ask Show Jobs

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction | Hacker News Reader

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction

goto.ucsd.edu

22 points·luu··3 comments

Open articleView on HN

Ranjit Jhala did a fantastic and entertaining talk about Liquid Haskell in Boston last month. Highly recommended.

https://www.youtube.com/watch?v=vYh27zz9530&feature=youtu.be

Does anyone have any recommendations for which of the papers referenced is worth reading?

The author said the PLDI 2008 paper and the ESOP 2013 papers.

Reply on news.ycombinator.com