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:
- LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction;
- ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism;
- 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.