New top story on Hacker News: VLISP: A Verified Implementation of Scheme (1993) [pdf]

VLISP: A Verified Implementation of Scheme (1993) [pdf]
31 by servytor | 2 comments on Hacker News.