Mitchell Wandの本 - BookPine

VLISP: A Verified Implementation of Scheme (Special Issue of Lisp and Symbolic Computation, Vol. 8, Nos. 1-2, March 1995)

VLISP: A Verified Implementation of Scheme (Special Issue of Lisp and Symbolic Computation, Vol. 8, Nos. 1-2, March 1995)

Joshua D. Guttman

Essentials Of Programming Languages, 3Rd Ed.

Essentials Of Programming Languages, 3Rd Ed.

Daniel P. Friedman

Essentials of Programming Languages (Third Edition)

Essentials of Programming Languages (Third Edition)

Daniel P. Friedman

Essentials of Programming Languages (2nd Edition)

Essentials of Programming Languages (2nd Edition)

Daniel P. Friedman

Essentials of Programming Languages

Essentials of Programming Languages

Daniel P. Friedman

Induction, Recursion and Programming

Induction, Recursion and Programming

Mitchell Wand

Classes as syntactic sugar

Classes as syntactic sugar

Mitchell Wand

Algebraic Theories and Tree Rewriting Systems

Algebraic Theories and Tree Rewriting Systems

Mitchell Wand