Lambda Papers
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 of, 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
Link Page (all above papers available in PDF)