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 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 ]

There are no comments on this comment yet.