The Next 700 Programming Languages
E554846
"The Next 700 Programming Languages" is a seminal 1966 paper by Peter J. Landin that introduced key concepts in the theory and design of programming languages, including the ISWIM language and the use of lambda calculus as a foundation for language semantics.
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
academic paper
ⓘ
programming languages paper ⓘ |
| author | Peter J. Landin NERFINISHED ⓘ |
| centralIdea |
many programming languages can be derived systematically from a small set of core concepts
ⓘ
programming languages can be defined via mathematical functions on programs ⓘ |
| countryOfOrigin | United Kingdom ⓘ |
| field |
computer science
ⓘ
programming language theory ⓘ programming languages ⓘ |
| hasAbbreviation | Next 700 NERFINISHED ⓘ |
| influenced |
denotational semantics
ⓘ
design of Haskell ⓘ design of ML ⓘ design of Scheme ⓘ functional programming languages ⓘ theory of programming language semantics ⓘ |
| introducedConcept |
ISWIM
NERFINISHED
ⓘ
SECD machine NERFINISHED ⓘ denotational-style description of languages ⓘ programming language as a mathematical function ⓘ syntactic sugar ⓘ use of lambda calculus as a foundation for programming language semantics ⓘ |
| language | English ⓘ |
| notableFor |
articulation of the idea of syntactic sugar
ⓘ
early use of lambda calculus to describe programming languages ⓘ influence on later functional language design ⓘ introduction of ISWIM as a canonical language ⓘ |
| proposesLanguage | ISWIM NERFINISHED ⓘ |
| publicationMonth | January ⓘ |
| publicationType | journal article ⓘ |
| publicationYear | 1966 ⓘ |
| publishedIn | Communications of the ACM NERFINISHED ⓘ |
| relatedConcept |
ISWIM
NERFINISHED
ⓘ
SECD machine NERFINISHED ⓘ denotational semantics ⓘ lambda calculus ⓘ syntactic sugar ⓘ |
| topic |
control structures in programming languages
ⓘ
design of programming languages ⓘ expression-oriented language design ⓘ functional programming ⓘ higher-order functions ⓘ semantics of programming languages ⓘ variable binding and scope ⓘ |
| usesFormalism | lambda calculus ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.