News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by CHY872 on Monday April 21, 2014 @12:34PM (#7621923)
My first opportunity to whip this one out :) https://cakeml.org/popl14.pdf
[ Parent | on HN ]
Re:The Case for Formal Verification (2013) by munin on Monday April 21, 2014 @01:02PM (#7622114)
nice!
[ Parent | on HN ]