Lambda Papers

Wikipedia, the free encyclopedia - Cite This Source

Lambda the Ultimate Papers were written by Gerald Jay Sussman and Guy Steele Jr. in 1975-1978, questioning the then current practices in programming language implementations. The focus was on showing that programming languages can be implemented efficiently without constraining the programmers by arbitrary rules, and discussing implementation strategies for Scheme.

List of papers

1975: Scheme: An Interpreter for Extended Lambda Calculus
1976: Lambda: The Ultimate Imperative
1976: Lambda: The Ultimate Declarative
1977: Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO
1978: The Art of the Interpreter or, the Modularity Complex (Parts Zero, One, and Two)
1978: RABBIT: A Compiler for SCHEME
1979: Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode
1980: Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO
1980: Design of a Lisp-based Processor