Disambiguation evidence for Robin Milner via surface form

"Robin Milner"

Triples (26)

Triples where some other subject referred to this entity as "Robin Milner".

Milner Award and Lecture → namedAfter →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
ML → designedBy →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Milner → hasNotableBearer →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Arthur John Robin Gorell Milner → alsoKnownAs →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Standard ML → designedBy →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Hindley–Milner type system → namedAfter →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
LCF theorem prover → designedBy →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
π-calculus → creator →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
CCS → creator →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
CCS → introducedBy →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Christopher Strachey → influenced →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Communication and Concurrency → author →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
The Definition of Standard ML → author →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Arthur John Robin Gorell Milner → alsoKnownAs →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
linked to: Arthur
Philip Wadler → influencedBy →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
University of Cambridge → hasNotableComputerScientist →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
LCF → designer →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
HM type system → namedAfter →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Algorithm W → introducedBy →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Joachim Parrow → collaboratedWith →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Calculus of Communicating Systems → creator →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
linked to: CCS
A Calculus of Communicating Systems → author →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
linked to: CCS
Mads Tofte → doctoralAdvisor →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ
Royal Society Milner Award → namedAfter →
"Robin Milner"
↳ resolves to Robin Milner
ⓘ