Robin Milner was a British computer scientist who developed ML, the first language with polymorphic type inference, as part of his LCF automated theorem prover. He later developed the calculus of communicating systems (CCS) and its successor the pi-calculus, and won the 1991 ACM Turing Award. He worked at the University of Edinburgh from 1973 and later led the Computer Laboratory at the University of Cambridge. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Awardhonorary doctor of the University of Stirling 2 Awardhonorary doctorate from University of Paris-XI 2 AwardFriedrich L. Bauer Prize 2 Awardhonorary doctor of the University of Edinburgh 2 AwardProgramming Languages Achievement Award 2 AwardFellow of the British Computer Society 2 AwardFellow of the Royal Society of Edinburgh 2 Awardhonorary doctorate of the University of Glasgow 2 Robin Milner
Filter Results1 entry
FAQs
What was Robin Milner working on when he died?
He was working on bigraphs, a formalism for ubiquitous computing that subsumes CCS and the pi-calculus.
At the time of his death in 2010, Robin Milner was working on bigraphs, a formalism for ubiquitous computing. It was designed to subsume two of his earlier frameworks for analyzing concurrent systems, the calculus of communicating systems and the pi-calculus. He is also credited with rediscovering the Hindley-Milner type system.
Connections
In Field
Source Wikipedia: Robin Milner
Invented
Source ML (programming language) (Wikipedia)
Source Wikidata: Standard ML
Additional Source Wikipedia: Standard ML
Robin Milner developed the type inference algorithm underlying the Hindley-Milner type system, published in his 1978 paper A Theory of Type Polymorphism in Programming.
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Robin Milner
Wikimedia FoundationLead section
The language he developed for LCF, ML, was the first language with polymorphic type inference
In Field: Formal Methods, Contributions
He developed Logic for Computable Functions (LCF), one of the first tools for automated theorem proving.
View the Source 2. Wikidata: Robin Milner
Wikipedia: Standard ML
ML (programming language) (Wikipedia)
Invented: ML (programming language), Infobox: designerQuote, Invented: ML (programming language), Infobox: designer
Robin Milner, others at the University of Edinburgh
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.