Mitchell Wand profile picture

Mitchell Wand

Stand Alone

VLISP: a verified implementation of scheme
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Induction, Recursion and Programming
Essentials of Programming Languages
Essentials of Programming Languages
VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Essentials of Programming Languages, third edition
Essentials of Programming Languages
VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Essentials of Programming Languages