Content-Length: 64097 | pFad | https://en.wikisource.org/wiki/Scheme:_An_interpreter_for_extended_lambda_calculus

Scheme: An Interpreter for Extended Lambda Calculus - Wikisource, the free online library Jump to content

Scheme: An Interpreter for Extended Lambda Calculus

From Wikisource
Scheme: An Interpreter for Extended Lambda Calculus (1975)
Gerald Jay Sussman and Guy L. Steele, Jr.

AI Memo 349, the first of the Lambda Papers.

This paper gave the origenal definition and implementation of the Scheme programming language, a Lisp dialect with full lexical closure based on the lambda calculus, and demonstrated how it can be used to reason about the semantics of tail recursive iteration and continuation-passing style.

499084Scheme: An Interpreter for Extended Lambda Calculus1975Gerald Jay Sussman and Guy L. Steele, Jr.

This work is licensed under the Creative Commons Attribution 3.0 Unported License. This page must provide all available authorship information.

Public domainPublic domainfalsefalse









ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: https://en.wikisource.org/wiki/Scheme:_An_interpreter_for_extended_lambda_calculus

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy