H ? « »

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


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

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

Related languages
Church typed-lambda calculus LAMBDA   Implementation
LAMBDA lambda-Prolog   Influence
LAMBDA MIN0   Implementation of

  • 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