News for hackers. Stuff that matters.

A comment on The Haskell road to logic review.

Re:The Haskell road to logic review by s2r2 on Sunday February 05, 2012 @11:47AM (#3554428)
http://arxiv.org/abs/cs/0512096 << abstract
[ Parent | on HN ]

There are no comments on this comment yet.