VLISP: A Verified Implementation of Scheme (1993) [pdf]
39 by servytor | 3 comments on Hacker News.
New top story on tech 45jNews: VLISP: A Verified Implementation of Scheme (1993) [pdf]
Posted by Keshav
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's.
0 Comments