Arthur John Robin Gorell Milner

* January 13, 1934, Yealmpton, England, UK
† March 20, 2010, Cambridge, England, UK

ACM A.M. Turing Award - 1991

For three distinct and complete achievements:

  1. LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction;
  2. ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism;
  3. CCS, a general theory of concurrency.

In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.