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

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