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
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
|