Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Pioneer

Robin Milner

Also Known As Arthur John Robin Gorell Milner · A. J. R. G. Milner
Software And Its Engineering

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
Birth Year
1934 1
Birth Date
1934-01-13 1
Death Year
2010 1
Death Date
2010-03-20 1
Nationality
British 1
Connections

In Field

Formal Methods, Fields
Source Wikipedia: Robin Milner

Invented

Standard ML, Programming Languages
Source Wikipedia: Standard ML

Invented By

Type Inference, Concepts

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 Foundation
  • Lead 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
Robin Milner (Wikidata)
  • Wikidata alias: Arthur John Robin Gorell Milner
    Arthur John Robin Gorell Milner
  • Wikidata P166: honorary doctor of the University of Stirling
    Wikidata P166 (award received): honorary doctor of the University of Stirling.
  • Wikidata P166: honorary doctorate from University of Paris-XI
    Wikidata P166 (award received): honorary doctorate from University of Paris-XI.
  • Wikidata P166: EATCS award
    Wikidata P166 (award received): EATCS award.
  • Wikidata P166: Friedrich L. Bauer Prize
    Wikidata P166 (award received): Friedrich L. Bauer Prize.
  • Wikidata P166: Turing Award
    Wikidata P166 (award received): Turing Award.
  • Wikidata P166: ACM Fellow
    Wikidata P166 (award received): ACM Fellow.
  • Wikidata P166: honorary doctor of the University of Edinburgh
    Wikidata P166 (award received): honorary doctor of the University of Edinburgh.
  • Wikidata P166: Programming Languages Achievement Award
    Wikidata P166 (award received): Programming Languages Achievement Award.
  • Wikidata P166: Fellow of the British Computer Society
    Wikidata P166 (award received): Fellow of the British Computer Society.
  • Wikidata P166: Fellow of the Royal Society of Edinburgh
    Wikidata P166 (award received): Fellow of the Royal Society of Edinburgh.
  • Wikidata P166: honorary doctorate of the University of Glasgow
    Wikidata P166 (award received): honorary doctorate of the University of Glasgow.
  • Wikidata alias: A. J. R. G. Milner
    A. J. R. G. Milner
View the Source
Wikipedia: Standard ML
Wikimedia FoundationInvented: Standard MLView the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.