Philip Wadler

E355623

academic computer scientist

Philip Wadler is a prominent computer scientist known for his foundational contributions to functional programming languages, type systems, and the theory and design of languages such as Haskell.

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

All labels observed (1)

Label	Occurrences
Philip Wadler canonical	2

How this entity was disambiguated

This entity first appeared as the object of triple T3414163 — 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: Philip Wadler
Context triple: [ACM SIGPLAN Programming Languages Achievement Award, notableRecipient, Philip Wadler]

A. Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
B. John Longley
John Longley is the son of Charles Longley, who served as Archbishop of Canterbury in the 19th century.
C. 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.
D. Gilles Dowek
Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
E. Lambert Meertens
Lambert Meertens is a Dutch computer scientist known for his influential work in programming language design and formal methods.
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: Philip Wadler
Target entity description: Philip Wadler is a prominent computer scientist known for his foundational contributions to functional programming languages, type systems, and the theory and design of languages such as Haskell.

A. Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
B. John Longley
John Longley is the son of Charles Longley, who served as Archbishop of Canterbury in the 19th century.
C. 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.
D. Gilles Dowek
Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
E. Lambert Meertens
Lambert Meertens is a Dutch computer scientist known for his influential work in programming language design and formal methods.
F. None of above. chosen

Statements (46)

Predicate	Object
instanceOf	academic ⓘ computer scientist ⓘ
almaMater	CMU ⓘ surface form: Carnegie Mellon University University of Edinburgh ⓘ
awardReceived	ACM SIGPLAN Distinguished Service Award ⓘ ACM SIGPLAN Programming Languages Achievement Award ⓘ Fellow of the Royal Society of Edinburgh ⓘ surface form: Royal Society of Edinburgh Fellowship
citizenship	United Kingdom ⓘ
coAuthored	“Linear Types Can Change the World!” ⓘ “Monads for functional programming” ⓘ Curry–Howard correspondence ⓘ surface form: “Propositions as Types” “The Essence of Functional Programming” ⓘ
coDesigned	Haskell type class system ⓘ
contributedTo	Haskell ⓘ surface form: Haskell programming language design of type classes in Haskell ⓘ use of monads in Haskell ⓘ
doctoralAdvisor	Dana Scott ⓘ
field	computer science ⓘ functional programming ⓘ programming languages ⓘ type systems ⓘ
honor	Fellow of the Royal Society of Edinburgh ⓘ
influenced	Scala ⓘ surface form: Scala type system design of modern functional languages ⓘ
influencedBy	Dana Scott ⓘ Haskell Curry ⓘ Robin Milner ⓘ
knownFor	contributions to functional programming languages ⓘ contributions to the design of Haskell ⓘ contributions to type theory ⓘ work on effect systems ⓘ work on generic programming in functional languages ⓘ work on linear types ⓘ work on monads in functional programming ⓘ work on session types ⓘ work on the correspondence between proofs and programs ⓘ work on the propositions-as-types principle ⓘ work on the theory of programming languages ⓘ work on type classes ⓘ
memberOf	ACM ⓘ IFIP Working Group 2.8 ⓘ surface form: IFIP Working Group 2.8 on Functional Programming
nationality	British ⓘ
positionHeld	Professor of Theoretical Computer Science at the University of Edinburgh ⓘ
workInstitution	Bell Telephone Laboratories ⓘ surface form: Bell Labs University of Edinburgh ⓘ University of Glasgow ⓘ

How these facts were elicited

Referenced by (2)

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

ACM SIGPLAN Programming Languages Achievement Award → notableRecipient → Philip Wadler ⓘ

Pizza programming language → designedBy → Philip Wadler ⓘ

subject surface form: Pizza (programming language)

All labels observed (1)

How this entity was disambiguated Show

Statements (46)

How these facts were elicited Show

Referenced by (2)

How this entity was disambiguated

How these facts were elicited