Philip Wadler
E355623
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.
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 |
Carnegie Mellon University
ⓘ
linked to:
CMU
University of Edinburgh ⓘ |
| awardReceived |
ACM SIGPLAN Distinguished Service Award
ⓘ
ACM SIGPLAN Programming Languages Achievement Award ⓘ Royal Society of Edinburgh Fellowship ⓘ
linked to:
Fellow of the Royal Society of Edinburgh
|
| citizenship | United Kingdom ⓘ |
| coAuthored |
“Linear Types Can Change the World!”
ⓘ
“Monads for functional programming” ⓘ “Propositions as Types” ⓘ
linked to:
Curry–Howard correspondence
“The Essence of Functional Programming” ⓘ |
| coDesigned | Haskell type class system ⓘ |
| contributedTo |
Haskell programming language
ⓘ
linked to:
Haskell
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 type system
ⓘ
linked to:
Scala
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 on Functional Programming ⓘ
linked to:
IFIP Working Group 2.8
|
| nationality | British ⓘ |
| positionHeld | Professor of Theoretical Computer Science at the University of Edinburgh ⓘ |
| workInstitution |
Bell Labs
ⓘ
linked to:
Bell Telephone Laboratories
University of Edinburgh ⓘ University of Glasgow ⓘ |
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: Philip Wadler Description of subject: 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.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject linked to:
Pizza programming language