H ? « ‹ ← → › »

Language peer sets for SECD:
United Kingdom↑
United Kingdom/1964↑
Designed 1964 ↑
1960s languages ↑
Third generation↑
Early Cold War↑
Genus Other lambda ↑
Other lambda↑
Lambda caculus↑
Functional ↑
Other lambda/1964↑
Lambda caculus/1964↑
Functional/1964↑
Other lambda/United Kingdom↑
Lambda caculus/United Kingdom↑
Functional/United Kingdom↑

SECD(ID:1528/)

alternate simple view
Country: United Kingdom
Designed 1964
Genus: Other lambda

AN abstract machine designed by Landon to interpret the Lambda Calculus. Hugely influential in functional programming language design

People:
Related languages
Church typed-lambda calculus → SECD   Implementation of
SECD → F-code   Implementation of
SECD → ISWIM   Incorporated into
SECD → Lispkit Lisp   Input language for
SECD → M-Code   Implementation of
SECD → PSP   Target language for
SECD → pure_LISP   Interpreter for
References:
  • Landin, P.J. (1964) Landin, P.J. "The Mechanical evaluation of Expressions" pp308-320 Abstract
          in (1964) The Computer Journal 6(4) January 1964
  • Plotkin, Gordon D., (1975) Plotkin, Gordon D., "Call-By-Name, Call-By-Value, and the Lambda Calculus", Theoretical Computer Science, Vol 1, pp. 125-159, North-Holland, 1975
          in (1964) The Computer Journal 6(4) January 1964
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder