The Tail-Recursive SECD Maachine

Authors
J.D.Ramsdell
Citation
J.d.ramsdell, The Tail-Recursive SECD Maachine, Journal of automated reasoning , 23(1), 1999, pp. 43-62
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
23
Issue
1
Year of publication
1999
Pages
43 - 62
Database
ACNP
SICI code