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 Connections
In Field
Source Wikipedia: Robin Milner
Invented
Source Wikidata: Standard ML
Additional Source Wikipedia: Standard ML
Invented By
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
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 section
He developed Logic for Computable Functions (LCF), one of the first tools for automated theorem proving. Milner also developed two theoretical frameworks for analyzing concurrent systems, the calculus of communicating systems (CCS), and its successor, the pi-calculus.
View the Source 2. Wikidata: Robin Milner
Wikipedia: Standard ML
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.