H ? « ‹ ← → › »

Language peer sets for LAMBDA:
United States↑
United States/1971↑
Designed 1971 ↑
1970s languages ↑
Third generation↑
High Cold War↑

LAMBDA(ID:554/lam003)

alternate simple view
Country: United States
Designed 1971
Published: 1971

A version of typed lambda calculus, used to describe semantic domains.

People:
Related languages
Church typed-lambda calculus → LAMBDA   Implementation
LAMBDA → lambda-Prolog   Influence
LAMBDA → MIN0   Implementation of
LAMBDA → UNLAMBDA   Influence
References:
  • Scott, Dana (1971) Scott, Dana "Outline of a Mathematical Theory of Computation", TM PRG-2, PRG, Oxford U, 1971. Page at OUP Abstract
  • Stock (1971) Stock, Karl F. "A listing of some programming languages and their users" in RZ-Informationen. Graz: Rechenzentrum Graz 1971 133 Abstract
  • Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 317 Abstract
  • Scott, D., (1976) Scott, D., "Data Types as Lattices", SIAM J.Comput 5, pp.523-587, (1976).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder