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

9 References

In the 1930's, Alonzo Church created the lambda calculus which forms 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:

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

R. Kelsey, W. Clinger, J. Rees (eds.)
Revised5 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

The R5RS document can be viewed or downloaded here: