News for hackers. Stuff that matters.

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

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 ]

There are no comments on this comment yet.