News for hackers. Stuff that matters.

A comment on LiquidHaskell: Refinement Types via SMT and Predicate Abstraction.

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 ]