Page:AIM-353.djvu/40

From Wikisource
Jump to: navigation, search
This page has been validated.
Steele and Sussman March 10, 1976 38 LAMBDA: The Ultimate Imperative

[Richards 74]
Richards, Martin, Evans, Arthur Jr., and Mabee, Robert F. The BCPL Reference Manual. TR-141, Project MAC, MIT (Cambridge, December 1974).

[Smith 75]
Smith, Brian C. and Hewitt, Carl. A PLASMA Primer (draft). MIT AI Lab (Cambridge, October 1975).

[Sussman 75]
Sussman, Gerald Jay, and Steele, Guy L. Jr. SCHEME: An Interpreter for Extended Lambda Calculus. AI Lab Memo 349. MIT (Cambridge, December 1975).

[Teitelman 74]
Teitelman, Warren. InterLISP Reference Manual. Xerox Palo Alto Research Center (Palo Alto, 1974).

[Vuillemin 74]
Vuillemin, Jean. "Correct and Optimal Implementations of Recursion in a Simple Programming Language." Journal of Computer and System Sciences 9, 3 (December 1974).

[Wadsworth 71]
Wadsworth, Christopher. Semantics and Pragmatics of the Lambda-calculus. Ph.D. Thesis. Oxford (1971).

[Wegbreit 70]
Wegbreit, Ben. Studies in Extensible Programming Languages. Ph.D. Thesis. Harvard U. (Cambridge, 1970).

[Wegbreit 71]
Wegbreit, Ben. "The ECL Programming System." Proc. AFIPS 1971 FJCC, Vol. 39. AFIPS Press, Montvale, N.J. pp. 253-262.

[Wegbreit 72]
Wegbreit, Ben, et al. ECL Programmer's Manual. Technical Report 21-72. Center for Research in Computing Technology, Harvard U. (Cambridge, September 1972).

[Wegbreit 74a]
Wegbreit,_Ben. "The Treatment of Data Types in EL1." Comm. ACM 17, 5 (May 1974), 251-264.

[Wegbreit 74b]
Wegbreit, Ben, et al. ECL Programmer's Manual. Technical Report 23-74. Center for Research in Computing Technology, Harvard U. (Cambridge, December 1974).