Goodreads Librarians Group Discussions Mentioning VLISP: A Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995
Showing 1-1 of 1
| topics | posts | views | last activity | |
|---|---|---|---|---|
| Clean up XII | 972 | 460 | Apr 12, 2021 01:23PM |
