Pioneers
Robin Milner
Computer Scientist
Citation Formats
General Reference
APA Style
BibTeX
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.
Facts
Cross-Tradition Connections
Sources
1. Wikipedia: Robin Milner
Wikimedia FoundationLead sectionQuote, Lead section
The language he developed for LCF, ML, was the first language with polymorphic type inference
1. Wikipedia: Robin Milner
Wikimedia FoundationIn Field: Formal Methods, Contributions sectionQuote, 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.
Wikipedia: Standard ML
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.
View At A Past Year
The atlas records no dated fact of its own for this entry, so there is no other year to choose.