The Next 700 Programming Languages

E554846

academic paper programming languages paper

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

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
The Next 700 Programming Languages canonical	2
"The Next 700 Programming Languages"	1
the article "The Next 700 Programming Languages"	1

How this entity was disambiguated

This entity first appeared as the object of triple T5923131 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: The Next 700 Programming Languages
Context triple: [ISWIM, describedIn, The Next 700 Programming Languages]

A. Programming Language Design and Implementation
Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
B. Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
C. European school of programming language design
The European school of programming language design is a tradition in computer science that emphasizes mathematically rigorous, formally defined programming languages and semantics, strongly influenced by researchers such as Adriaan van Wijngaarden.
D. The Universal Computer
The Universal Computer is a book by mathematician and logician Martin Davis that traces the history and development of the concept of computation and the universal Turing machine.
E. Limbo programming language
Limbo is a concurrent, modular programming language designed at Bell Labs for building distributed systems, notably used in the Inferno operating system.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: The Next 700 Programming Languages
Target entity description: "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.

A. Programming Language Design and Implementation
Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
B. Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
C. European school of programming language design
The European school of programming language design is a tradition in computer science that emphasizes mathematically rigorous, formally defined programming languages and semantics, strongly influenced by researchers such as Adriaan van Wijngaarden.
D. The Universal Computer
The Universal Computer is a book by mathematician and logician Martin Davis that traces the history and development of the concept of computation and the universal Turing machine.
E. Limbo programming language
Limbo is a concurrent, modular programming language designed at Bell Labs for building distributed systems, notably used in the Inferno operating system.
F. None of above. chosen

Statements (45)

Predicate	Object
instanceOf	academic paper ⓘ programming languages paper ⓘ
author	Peter J. Landin ⓘ linked to: Peter Landin
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 ⓘ
influenced	denotational semantics ⓘ design of Haskell ⓘ design of ML ⓘ design of Scheme ⓘ functional programming languages ⓘ theory of programming language semantics ⓘ
introducedConcept	ISWIM ⓘ SECD machine ⓘ linked to: Landin’s SECD machine 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 ⓘ
publicationMonth	January ⓘ
publicationType	journal article ⓘ
publicationYear	1966 ⓘ
publishedIn	Communications of the ACM ⓘ
relatedConcept	ISWIM ⓘ SECD machine ⓘ linked to: Landin’s SECD machine 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 ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

ISWIM → describedIn → The Next 700 Programming Languages ⓘ

ISWIM → relatedTo → The Next 700 Programming Languages ⓘ

Peter Landin → knownFor → the article "The Next 700 Programming Languages" ⓘ

linked to: The Next 700 Programming Languages

Peter Landin → notableWork → "The Next 700 Programming Languages" ⓘ