VLISP: A Verified Implementation of Scheme

Authors
J.D.Guttman,J.Ramsdell,M.Wand
Citation
J.d.guttman,j.ramsdell,m.wand, VLISP: A Verified Implementation of Scheme, LISP and symbolic computation , 8(1/2), 1995, pp. 5-32
Journal title
LISP and symbolic computation → ACNP
ISSN journal
08924635
Volume
8
Issue
1/2
Year of publication
1995
Pages
5 - 32
Database
ACNP
SICI code