VLISP a verified implementation of scheme
Saved in:
Other Authors: | Guttman, Joshua D, Wand, Mitchell |
---|---|
Format: | Book |
Published: |
Boston
Kluwer Academic
1995
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
LISP, a portable implementation
by: Hekmatpour, Sharam 1961-
Published: (1989) -
LISP a gentle introduction to symbolic computation
by: Touretzky, David S
Published: (1984) -
LISP lore a guide to programming the LISP machine
by: Bromley, Hank
Published: (1987) -
LISP
by: Queinnec, Christian
Published: (1984) -
Understanding LISP
by: Gloess, Paul Y
Published: (1982)