Simon Peyton Jones
E356667
Simon Peyton Jones is a prominent British computer scientist best known for his foundational work on the design and implementation of the Haskell programming language and contributions to functional programming and compiler technology.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Simon Peyton Jones canonical | 2 |
| Peyton Jones | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3414160 — 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: Simon Peyton Jones Context triple: [ACM SIGPLAN Programming Languages Achievement Award, notableRecipient, Simon Peyton Jones]
-
A.
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.
-
B.
Philip Wadler
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.
-
C.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
-
D.
Luca Cardelli
Luca Cardelli is an Italian computer scientist known for his influential work in type theory, programming language design, and the development of the Modula-3 and Polyphonic C# languages.
-
E.
Tony Hoare
Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages 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: Simon Peyton Jones Target entity description: Simon Peyton Jones is a prominent British computer scientist best known for his foundational work on the design and implementation of the Haskell programming language and contributions to functional programming and compiler technology.
-
A.
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.
-
B.
Philip Wadler
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.
-
C.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
-
D.
Luca Cardelli
Luca Cardelli is an Italian computer scientist known for his influential work in type theory, programming language design, and the development of the Modula-3 and Polyphonic C# languages.
-
E.
Tony Hoare
Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages and formal methods.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
person ⓘ researcher ⓘ |
| almaMater | Trinity College, Cambridge NERFINISHED ⓘ |
| awardReceived |
Fellow of the Association for Computing Machinery
ⓘ
surface form:
ACM Fellow
ACM SIGPLAN Programming Languages Achievement Award ⓘ Fellow of the Royal Society (FRS) ⓘ
surface form:
Fellow of the Royal Society
|
| citizenship | United Kingdom ⓘ |
| coDesignerOf |
GHC
ⓘ
surface form:
Glasgow Haskell Compiler
Haskell ⓘ
surface form:
Haskell programming language
|
| contributedTo |
compiler optimizations for functional languages
ⓘ
design of Haskell type system ⓘ implementation of lazy functional languages ⓘ monads in functional programming practice ⓘ Haskell ⓘ
surface form:
parallel and concurrent Haskell
|
| countryOfEmployment | United Kingdom ⓘ |
| educatedAt |
Cambridge University
ⓘ
surface form:
University of Cambridge
|
| employer | Microsoft Research Cambridge ⓘ |
| familyName |
Simon Peyton Jones
self-linksurface differs
ⓘ
surface form:
Peyton Jones
|
| fieldOfWork |
compiler technology
ⓘ
computer science ⓘ functional programming ⓘ programming languages ⓘ |
| givenName | Simon ⓘ |
| influenced |
GHC
ⓘ
surface form:
GHC-based Haskell ecosystem
design of modern functional languages ⓘ |
| knownFor |
GHC
ⓘ
surface form:
Glasgow Haskell Compiler
Haskell ⓘ
surface form:
Haskell programming language
compiler design ⓘ functional programming research ⓘ type systems for functional languages ⓘ |
| language | English ⓘ |
| memberOf |
ACM
ⓘ
Royal Society ⓘ |
| name | Simon Peyton Jones self-link ⓘ |
| nationality | British ⓘ |
| notableWork |
The Implementation of Functional Programming Languages
ⓘ
papers on Haskell design ⓘ papers on software transactional memory in Haskell ⓘ papers on type classes ⓘ |
| positionHeld |
chair of Computing at School (UK)
ⓘ
researcher at Microsoft Research Cambridge ⓘ |
| researchInterest |
garbage collection
ⓘ
lazy evaluation ⓘ parallel functional programming ⓘ type inference ⓘ |
| workLocation |
CAMBRIDGE
ⓘ
surface form:
Cambridge
|
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: Simon Peyton Jones Description of subject: Simon Peyton Jones is a prominent British computer scientist best known for his foundational work on the design and implementation of the Haskell programming language and contributions to functional programming and compiler technology.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Peyton Jones