Work

Lambda: The Ultimate Imperative

Year: 1976

Type: article

Abstract: We demonstrate how to model the following common programmingsconstructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, Continuation-Passing, Escape Expressions, Fluid Variables, Call by Name, Call by Need, and Call by Reference. The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. No complex data structures such as stacks are used. The models are transparent, involving only local syntactic transformations. This paper is partly tutorial in intent, gathering all the models together for purposes of context.

Source: DSpace@MIT (Massachusetts Institute of Technology)

Authors: Guy L. Steele, Gerald Jay Sussman

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1842410071

FWCI: 2.426

Cites:

Cited by: 108

Related to: 10