Yahoo India Web Search

Sign In

Search results

  1. en.wikipedia.org › wiki › Robin_MilnerRobin Milner - Wikipedia

    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 .

  2. Images

    • Robin Milner | British Computer Scientist & Father of MLCC | Britannica
    • Robin Milner: Geek of the Week - Simple Talk
    • Robin Milner
    • Robin Milner | British Computer Scientist & Father of MLCC | Britannica
    • Robin Milner - Alchetron, The Free Social Encyclopedia

    View all

  3. www.britannica.com › biography › Robin-MilnerRobin Milner | British Computer Scientist & Father of MLCC

    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.

    • William L. Hosch

  4. www.cl.cam.ac.uk › archive › rm135Robin Milner - University of Cambridge

    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.

  5. amturing.acm.org › award_winners › milner_1569367A J Milner - A.M. Turing Award Laureate

    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.

  6. users.sussex.ac.uk › ~mfb21 › interviewsAn Interview with Robin Milner - University of Sussex

    Sep 9, 2011 · An Interview with Robin Milner. Below you'll find the transcript of an interview with Robin Milner, held in Cambridge on the 3. September 2003. The interview was conducted by Martin Berger. Thanks to Kohei Honda, Keith Clarke, Carla Benjamin and Tony Stockman for their help and suggestions.

  7. cacm.acm.org › news › robin-milner-the-elegantRobin Milner: The Elegant Pragmatist – Communications of the ACM

    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.

  8. People also ask

  9. nap.nationalacademies.org › read › 23394ROBIN MILNER | Memorial Tributes: Volume 20 | The National ...

    ARTHUR JOHN ROBIN GORELL MILNER, a founding father of theoretical computer science, died of a heart attack on March 20, 2010. Robin was born to Muriel (née Barnes-Gorell) and John Milner (a colonel in the British Army) in Yealmpton near Plymouth in South Devon on January 13, 1934.