Scheme: An Interpreter for Extended Lambda Calculus (1975)
research.scheme.org
research.scheme.org
AN INTERPRETER FOR EXTENDED LAMBDA CALCULUS
by Gerald Jay Sussman and Guy Lewis Steele Jr.
Abstract:
Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial.