SketchyLISP Reference Manual - Copyright (C) 2005 Nils M Holm

10 References

In the 1930's, Alonzo Church created the Lambda Calculus which is the basis of all languages of the LISP family. It is described in

Alonzo Church
"The Calculi of Lambda Conversion"
Annals of Mathematical Studies, Number 6
Princeton University Press, 1941

A reprint is available from UMI Books on Demand.

The original LISP was invented by John McCarthy. It is described in

John McCarthy
"Recursive Functions of Symbolic Expressions
 and Their Computation by Machine, Part I"
Communications of the ACM, April 1960

The document can be downloaded from McCarthy's home page at:

http://www-formal.stanford.edu/jmc/recursive.html

The core and functions of the SketchyLISP library are mostly compatible to R5RS Scheme, which is described in

R. Kelsey, W. Clinger, J. Rees (eds.)
"Revised^5 Report on the Algorithmic Language Scheme"
Higher-Order and Symbolic Computation,
Vol. 11, No. 1, August, 1998
ACM SIGPLAN Notices, Vol. 33, No. 9, September, 1998