News for hackers. Stuff that matters.
Re:LiquidHaskell: Refinement Types via SMT and Predicate Abs... by cauterize on Monday December 15, 2014 @08:43PM (#8755507)
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

[ Parent | on HN ]
Re:LiquidHaskell: Refinement Types via SMT and Predicate Abs... by mijoharas on Monday December 15, 2014 @07:55PM (#8755390)
Does anyone have any recommendations for which of the papers referenced is worth reading?
[ Parent | on HN ]
Re:LiquidHaskell: Refinement Types via SMT and Predicate Abs... by BruceIV on Tuesday December 16, 2014 @07:44AM (#8756858)
The author said the PLDI 2008 paper and the ESOP 2013 papers.
[ Parent | on HN ]