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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| The Next 700 Programming Languages canonical | 2 |
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 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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: The Next 700 Programming Languages Description of subject: "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.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.