Search results
The language he developed for LCF, ML, was the first language with polymorphic type inference and type-safe exception handling. In a very different area, Milner also developed a theoretical framework for analyzing concurrent systems, the calculus of communicating systems (CCS), and its successor, the π -calculus .
Robin Milner was an English computer scientist and winner of the 1991 A.M. Turing Award, the highest honour in computer science, for his work with automatic theorem provers, the ML computer programming language, and a general theory of concurrency. Milner attended Eton College and won a scholarship.
- William L. Hosch
Learn about Robin Milner's recent work on computation theory and informatics, including ubiquitous computing and bigraphs. He is a professor at Cambridge and Edinburgh, and a pioneer of the Laboratory for Foundations of Computer Science.
Jun 1, 2010 · A tribute to the late computer scientist who made ground-breaking contributions to verification, languages, and concurrency. Learn about his life, work, and legacy in this article by Leah Hoffmann.
Robin Milner was a British computer scientist who made significant contributions to logic, programming languages, and concurrency theory. He received the Turing Award for his work on LCF, ML, CCS, and full abstraction.
Robin Milner, FRS FRSEProfessor Emeritus of Computer Science. It is with great sadness that we note the death of Robin Milner . Robin worked at the Computer Laboratory in Cambridge from 1995 onwards, serving as Head of the Laboratory 1996–1999.
ROBIN MILNER. 1934–2010. Elected in 2008 “For fundamental contributions to computer science, including the development of LCF, ML, CCS, and the pi-calculus.” BY TONY HOARE AND GORDON PLOTKIN. ARTHUR JOHN ROBIN GORELL MILNER, a founding father of theoretical computer science, died of a heart attack on March 20, 2010.
