Arthur John Robin Gorell Milner
E230803
Arthur John Robin Gorell Milner was a British computer scientist renowned for his pioneering work in programming language theory, process calculi, and formal methods, including the development of ML and the Calculus of Communicating Systems (CCS).
All labels observed (1)
| Label | Occurrences |
|---|---|
| Arthur John Robin Gorell Milner canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T2092371 — 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: Arthur John Robin Gorell Milner Context triple: [Robin Milner, fullName, Arthur John Robin Gorell Milner]
-
A.
Robert Mansergh
Robert Mansergh was a British Army officer and general who held senior commands during and after World War II, including in the Indonesian National Revolution.
-
B.
Kenneth Clarke
Kenneth Clarke is a veteran British Conservative politician who has held several senior Cabinet posts, including Chancellor of the Exchequer, and is known for his pro-European views and long parliamentary career.
-
C.
Gerald Templer
Gerald Templer was a British field marshal best known for his leadership in counterinsurgency and colonial military campaigns, particularly in Southeast Asia.
-
D.
Philip Snowden
Philip Snowden was a British Labour politician and economist who became the first Labour Chancellor of the Exchequer, known for his strict adherence to fiscal orthodoxy during the interwar period.
-
E.
Walter Parks Thatcher
Walter Parks Thatcher is a wealthy, conservative banker and guardian in the film "Citizen Kane," serving as a symbol of financial power and authority over Charles Foster Kane’s early life.
- 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: Arthur John Robin Gorell Milner Target entity description: Arthur John Robin Gorell Milner was a British computer scientist renowned for his pioneering work in programming language theory, process calculi, and formal methods, including the development of ML and the Calculus of Communicating Systems (CCS).
-
A.
Robert Mansergh
Robert Mansergh was a British Army officer and general who held senior commands during and after World War II, including in the Indonesian National Revolution.
-
B.
Kenneth Clarke
Kenneth Clarke is a veteran British Conservative politician who has held several senior Cabinet posts, including Chancellor of the Exchequer, and is known for his pro-European views and long parliamentary career.
-
C.
Gerald Templer
Gerald Templer was a British field marshal best known for his leadership in counterinsurgency and colonial military campaigns, particularly in Southeast Asia.
-
D.
Philip Snowden
Philip Snowden was a British Labour politician and economist who became the first Labour Chancellor of the Exchequer, known for his strict adherence to fiscal orthodoxy during the interwar period.
-
E.
Walter Parks Thatcher
Walter Parks Thatcher is a wealthy, conservative banker and guardian in the film "Citizen Kane," serving as a symbol of financial power and authority over Charles Foster Kane’s early life.
- F. None of above. chosen
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ human ⓘ |
| alsoKnownAs | Robin Milner ⓘ |
| areaOfInfluence |
concurrency theory
ⓘ
semantics of programming languages ⓘ theoretical computer science ⓘ |
| awardReceived |
Royal Society Fellowship
ⓘ
linked to:
Fellow of the Royal Society (FRS)
Turing Award ⓘ |
| countryOfCitizenship | United Kingdom ⓘ |
| developed |
CCS
ⓘ
Calculus of Communicating Systems ⓘ
linked to:
CCS (Calculus of Communicating Systems)
HOL theorem prover ⓘ LCF theorem prover ⓘ ML programming language ⓘ |
| employer |
University of Cambridge
ⓘ
linked to:
Cambridge University
University of Edinburgh ⓘ |
| familyName | Milner ⓘ |
| fieldOfWork |
computer science
ⓘ
formal methods ⓘ process calculi ⓘ programming language theory ⓘ |
| givenName |
Arthur
ⓘ
Robin ⓘ |
| influenced |
design of functional programming languages
ⓘ
development of type systems in programming languages ⓘ research in concurrency theory ⓘ |
| knownFor |
development of ML
ⓘ
development of the Calculus of Communicating Systems ⓘ pioneering work in programming language theory ⓘ work on formal verification ⓘ work on process calculi ⓘ |
| memberOf | Royal Society ⓘ |
| nationality | British ⓘ |
| notableWork |
CCS
ⓘ
Calculus of Communicating Systems ⓘ
linked to:
CCS (Calculus of Communicating Systems)
HOL theorem prover ⓘ LCF theorem prover ⓘ ML programming language ⓘ
linked to:
ML
|
| occupation |
professor
ⓘ
researcher ⓘ |
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: Arthur John Robin Gorell Milner Description of subject: Arthur John Robin Gorell Milner was a British computer scientist renowned for his pioneering work in programming language theory, process calculi, and formal methods, including the development of ML and the Calculus of Communicating Systems (CCS).
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.