Robin Milner
E32698
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.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Robin Milner canonical | 26 |
| British computer scientist Robin Milner | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T248550 — 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: Robin Milner Context triple: [Milner Award and Lecture, namedAfter, Robin Milner]
-
A.
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.
-
B.
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.
-
C.
Niklaus Wirth
Niklaus Wirth is a Swiss computer scientist best known for creating several influential programming languages, including Pascal, Modula, and Oberon, and for his pioneering work in software engineering and programming language design.
-
D.
Edsger W. Dijkstra
Edsger W. Dijkstra was a pioneering Dutch computer scientist known for fundamental contributions to algorithms, programming languages, and software engineering, including Dijkstra's algorithm for shortest paths.
-
E.
Leslie Lamport
Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation 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: Robin Milner Target entity description: 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.
-
A.
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.
-
B.
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.
-
C.
Niklaus Wirth
Niklaus Wirth is a Swiss computer scientist best known for creating several influential programming languages, including Pascal, Modula, and Oberon, and for his pioneering work in software engineering and programming language design.
-
D.
Edsger W. Dijkstra
Edsger W. Dijkstra was a pioneering Dutch computer scientist known for fundamental contributions to algorithms, programming languages, and software engineering, including Dijkstra's algorithm for shortest paths.
-
E.
Leslie Lamport
Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.
- F. None of above. chosen
Statements (55)
| Predicate | Object |
|---|---|
| instanceOf |
British person
ⓘ
computer scientist ⓘ person ⓘ |
| awardReceived |
ACM Fellowship
ⓘ
Computer Pioneer Award ⓘ
linked to:
IEEE Computer Society Computer Pioneer Award
Royal Medal of the Royal Society of Edinburgh ⓘ
linked to:
Royal Medal
Royal Society Fellowship ⓘ
linked to:
Fellow of the Royal Society (FRS)
Turing Award ⓘ |
| birthDate | 1934-01-13 ⓘ |
| countryOfCitizenship | United Kingdom ⓘ |
| deathDate | 2010-03-20 ⓘ |
| educatedAt |
King’s College, Cambridge
ⓘ
University of Cambridge ⓘ
linked to:
Cambridge University
|
| employer |
Computer Laboratory, University of Cambridge
ⓘ
University of Cambridge ⓘ
linked to:
Cambridge University
University of Edinburgh ⓘ |
| familyName | Milner ⓘ |
| fieldOfWork |
computer science
ⓘ
concurrency theory ⓘ formal methods ⓘ process calculi ⓘ programming language theory ⓘ type systems ⓘ |
| fullName | Arthur John Robin Gorell Milner ⓘ |
| givenName |
Arthur
ⓘ
John ⓘ Robin ⓘ |
| influenced |
design of F#
ⓘ
design of Haskell ⓘ design of OCaml ⓘ functional programming languages ⓘ type inference in programming languages ⓘ |
| influencedBy |
Christopher Strachey
ⓘ
Dana Scott ⓘ |
| knownFor |
CCS (Calculus of Communicating Systems)
ⓘ
Hindley–Milner type system ⓘ LCF theorem prover ⓘ ML programming language ⓘ
linked to:
ML
Standard ML ⓘ structural operational semantics ⓘ theory of concurrency ⓘ π-calculus ⓘ |
| language | English ⓘ |
| memberOf |
Royal Society
ⓘ
Royal Society of Edinburgh ⓘ |
| nationality | British ⓘ |
| notableStudent |
Gordon Plotkin
ⓘ
Luca Cardelli ⓘ |
| notableWork |
A Calculus of Communicating Systems
ⓘ
linked to:
CCS (Calculus of Communicating Systems)
Communication and Concurrency ⓘ The Definition of Standard ML ⓘ |
| placeOfBirth | Yealmpton, Devon, England ⓘ |
| placeOfDeath | Cambridge, England ⓘ |
| positionHeld |
Professor of Computer Science at the University of Cambridge
ⓘ
Professor of Computer Science at the University of Edinburgh ⓘ |
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: Robin Milner Description of subject: 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.
Referenced by (27)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject linked to:
CCS (Calculus of Communicating Systems)
subject linked to:
CCS (Calculus of Communicating Systems)
subject linked to:
Arthur
subject linked to:
University of Cambridge (at time of Conway’s work in combinatorial games)
linked to: Robin Milner