Peter Landin

E554844

British person computer scientist

Peter Landin was a pioneering British computer scientist whose work on programming language theory and functional programming profoundly influenced the design of modern languages.

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

All labels observed (2)

Label	Occurrences
Peter Landin canonical	4
Peter J. Landin	3

How this entity was disambiguated

This entity first appeared as the object of triple T5923100 — 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: Peter Landin
Context triple: [ISWIM, designer, Peter Landin]

A. John Backus
John Backus was an American computer scientist best known for leading the development of the Fortran programming language and contributing foundational work to programming language design and formal notation.
B. Henny Backus
Henny Backus was an American actress and author, best known for her work on stage and screen and for co-writing humorous books with her husband, actor Jim Backus.
C. Alan Perlis
Alan Perlis was an American computer scientist and educator renowned for his pioneering work in programming languages and for being the first recipient of the Turing Award.
D. Robin Milner
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
E. Peter Naur
Peter Naur was a Danish computer scientist and Turing Award laureate best known for his pioneering contributions to programming language design and the development of ALGOL 60.
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: Peter Landin
Target entity description: Peter Landin was a pioneering British computer scientist whose work on programming language theory and functional programming profoundly influenced the design of modern languages.

A. John Backus
John Backus was an American computer scientist best known for leading the development of the Fortran programming language and contributing foundational work to programming language design and formal notation.
B. Henny Backus
Henny Backus was an American actress and author, best known for her work on stage and screen and for co-writing humorous books with her husband, actor Jim Backus.
C. Alan Perlis
Alan Perlis was an American computer scientist and educator renowned for his pioneering work in programming languages and for being the first recipient of the Turing Award.
D. Robin Milner
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
E. Peter Naur
Peter Naur was a Danish computer scientist and Turing Award laureate best known for his pioneering contributions to programming language design and the development of ALGOL 60.
F. None of above. chosen

Statements (47)

Predicate	Object
instanceOf	British person ⓘ computer scientist ⓘ
birthDate	1930-06-05 ⓘ
contributedTo	early functional programming concepts ⓘ formal semantics of programming languages ⓘ use of lambda calculus in programming ⓘ
countryOfCitizenship	United Kingdom ⓘ
deathDate	2009-06-03 ⓘ
developed	ISWIM (If You See What I Mean) ⓘ SECD machine ⓘ linked to: Landin’s SECD machine
educatedAt	University of Cambridge ⓘ linked to: Cambridge University
employer	International Computers and Tabulators ⓘ London School of Economics ⓘ UNIVAC ⓘ University of London ⓘ
era	20th-century computer science ⓘ
familyName	Landin ⓘ
fieldOfWork	computer science ⓘ functional programming ⓘ programming language theory ⓘ
givenName	Peter ⓘ
influenced	Haskell (programming language) ⓘ linked to: Haskell ML (programming language) ⓘ linked to: ML Scheme (programming language) ⓘ linked to: Scheme denotational semantics ⓘ functional programming languages ⓘ programming language design ⓘ
influencedBy	Alonzo Church ⓘ lambda calculus ⓘ
knownFor	ISWIM programming language design ⓘ Lambda calculus in programming language design ⓘ SECD machine ⓘ linked to: Landin’s SECD machine denotational approaches to programming languages ⓘ the J operator ⓘ the article "The Next 700 Programming Languages" ⓘ linked to: The Next 700 Programming Languages the concept of continuations in programming ⓘ
language	English ⓘ
name	Peter Landin ⓘ
nationality	British ⓘ
notableWork	"A Correspondence between ALGOL 60 and Church’s Lambda-notation" ⓘ "The Mechanical Evaluation of Expressions" ⓘ linked to: Landin’s SECD machine "The Next 700 Programming Languages" ⓘ linked to: The Next 700 Programming Languages
placeOfBirth	Sheffield ⓘ
placeOfDeath	London ⓘ linked to: London, England
positionHeld	professor of theoretical computation ⓘ
sexOrGender	male ⓘ
workLocation	London ⓘ linked to: London, England

How these facts were elicited

Referenced by (7)

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

ISWIM → designer → Peter Landin ⓘ

ISWIM → proposedBy → Peter Landin ⓘ

ISWIM → authorOfPrimaryPaper → Peter Landin ⓘ

Peter Landin → name → Peter Landin ⓘ

Landin’s SECD machine → creator → Peter J. Landin ⓘ

linked to: Peter Landin

Landin’s SECD machine → associatedWithPerson → Peter J. Landin ⓘ

linked to: Peter Landin

The Next 700 Programming Languages → author → Peter J. Landin ⓘ

linked to: Peter Landin

All labels observed (2)

How this entity was disambiguated Show

Statements (47)

How these facts were elicited Show

Referenced by (7)

How this entity was disambiguated

How these facts were elicited