Lambda Papers

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.

There is a community weblog called Lambda the Ultimate [http://lambda-the-ultimate.org/] after the title of these papers. The community is dedicated to discussing theoretical aspects of programming languages at the highest level [http://lambda-the-ultimate.org/policies#Purpose] , and over time it has compiled a wide archive of links to the most relevant scientific papers, articles, news and projects in the subject.

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

External links

* [http://library.readscheme.org/page1.html Online version of the Lambda Papers] (PDF format)


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Lambda Literary Award — (auch bekannt unter dem Namen Lammies) ist ein jährlich vergebener Literaturpreis in den Vereinigten Staaten. Der Literaturpreis wird von der Lambda Literary Foundation seit 1988 vergeben. Ausgezeichnete werden Bücher, die im jeweiligen Jahr in… …   Deutsch Wikipedia

  • Lambda Literary Award — Lambda Literary Awards (also known as the Lammies ) are awarded yearly by the US based Lambda Literary Foundation to published works which celebrate or explore LGBT themes. Categories include Humor, Romance and Biography. To qualify, a book must… …   Wikipedia

  • Lambda Award — Lambda Literary Award (auch bekannt unter dem Namen Lammies) ist ein jährlich vergebener Literaturpreis in den Vereinigten Staaten. Der Literaturpreis wird von der Lambda Literary Foundation seit 1988 vergeben. Ausgezeichnete werden Bücher, die… …   Deutsch Wikipedia

  • Lambda Book Award — Lambda Literary Award (auch bekannt unter dem Namen Lammies) ist ein jährlich vergebener Literaturpreis in den Vereinigten Staaten. Der Literaturpreis wird von der Lambda Literary Foundation seit 1988 vergeben. Ausgezeichnete werden Bücher, die… …   Deutsch Wikipedia

  • Lambda Literary Awards — Lambda Literary Award (auch bekannt unter dem Namen Lammies) ist ein jährlich vergebener Literaturpreis in den Vereinigten Staaten. Der Literaturpreis wird von der Lambda Literary Foundation seit 1988 vergeben. Ausgezeichnete werden Bücher, die… …   Deutsch Wikipedia

  • Lambda Literary Foundation — Lambda Literary Award (auch bekannt unter dem Namen Lammies) ist ein jährlich vergebener Literaturpreis in den Vereinigten Staaten. Der Literaturpreis wird von der Lambda Literary Foundation seit 1988 vergeben. Ausgezeichnete werden Bücher, die… …   Deutsch Wikipedia

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

  • Lambda phage — Taxobox color = violet name = Enterobacteria phage λ image width = 200px image caption = virus group = I ordo = Caudovirales familia = Siphoviridae subfamily = genus = λ like viruses species = λ Phage Enterobacteria phage λ (lambda phage) is a… …   Wikipedia

  • Lambda Legal — infobox Organization name = Lambda Legal Defense and Education Fund image border = size = 201px caption = msize = mcaption = abbreviation = motto = formation = extinction = type = status = purpose = headquarters = New York City, New York location …   Wikipedia

  • Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”