Author： Abelson H. Dybvig R.K. Haynes C.T. Rozas G.J. Adams IV N.I. Friedman D.P. Kohlbecker E. Steele Jr. G.L. Bartley D.H. Halstead R. Oxley D. Sussman G.J. Brooks G. Hanson C. Pitman K.M. Wand M.
Publisher： Springer Publishing Company
ISSN： 1388-3690
Source： LISP and Symbolic Computation, Vol.11, Iss.1, 1998-08, pp. : 7-105
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The First Report on Scheme Revisited
By Sussman G.J.
LISP and Symbolic Computation, Vol. 11, Iss. 4, 1998-12 ,pp. :
Access to resources
Recommend
By Mager Astrid
Information, Communication and Society, Vol. 15, Iss. 5, 2012-06 ,pp. :
Meta-resolution: An algorithmic formalisation
Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. :