Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner. Milner was born in...

Damas–Milner or Damas–Hindley–Milner. It was first described by J. Roger Hindley and later rediscovered by Robin Milner. Luis Damas contributed a close...

Vlissides 2004: John Backus 2003: John C. Reynolds 2002: John McCarthy 2001: Robin Milner 2000: Susan Graham 1999: Ken Kennedy 1998: Fran Allen 1997: Guy Steele...

also used in bioinformatics and financial systems. ML was developed by Robin Milner and others in the early 1970s at the University of Edinburgh, and its...

interactive automated theorem prover developed at Stanford and Edinburgh by Robin Milner and collaborators in early 1970s, based on the theoretical foundation...

Haskell. A fully abstract model for PCF was first given by Robin Milner. However, since Milner's model was essentially based on the syntax of PCF it was...

similar to an automaton. It was introduced in 1980 by Matthew Hennessy and Robin Milner in their paper "On observing nondeterminism and concurrency" (ICALP)...

University of Edinburgh where he obtained a PhD degree in 1988 (advised by Robin Milner). He is doctor honoris causa 2007 from Kingston University. In his 1984...

78–89. doi:10.1145/151233.151240. Michael Fourman. "Arthur John Robin Gorell ("Robin") Milner - A.M. Turing Award Laureate". Association for Computing Machinery...

output (see persistent data structure). Between the 1970s and 1980s, Robin Milner, a British computer scientist and Turing Award winner, worked at the...

Jean Bacon James Davenport Andrew D. Gordon Philip Hazel Andy Hopper Robin Milner Alan Mycroft Roger Needham Martin Richards Peter Robinson, Karen Spärck...

Functions, an abstract typed functional language. In 1978, Robin Milner introduces the Hindley–Milner type system inference algorithm for ML language. Type...

several awards. In 2012, he became the inaugural winner of the SIGPLAN Robin Milner Young Researcher Award, given by the Association for Computing Machinery's...

ACM SIGPLAN 2018 PL Software Award for Racket, the 2012 ACM SIGPLAN Robin Milner Young Researcher Award David Kuck, the IEEE Computer Society 2011 Computer...

Robert Rainsford "Robin" Milner-Gulland, FBA, FSA, (born Mill Hill; 24 February 1936) is a British scholar of Russian and Byzantine literature, culture...

benchmarking type systems of programming languages. Weirich won the SIGPLAN Robin Milner Young Researcher Award in 2016. "Engineering in 100 Seconds: Stephanie...

calculus of communicating systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions...

be used to describe mobile interactions. They have also been used by Robin Milner in an attempt to subsume Calculus of Communicating Systems (CCS) and...

7559. Robin Milner (1993). "Elements of interaction: Turing award lecture". Commun. ACM. 36 (1): 78–89. doi:10.1145/151233.151240. Milner, Robin (1999)...

at the Using CSP website. Robin Milner: A Calculus of Communicating Systems, Springer Verlag, ISBN 0-387-10235-3. Robin Milner: Communicating and Mobile...

programming language and system Silq. Vechev has received the ACM SIGPLAN Robin Milner Young Researcher Award in 2019, an ERC Consolidator Grant in 2021, a...

the π-calculus and subsequent process calculi. In his Turing lecture, Robin Milner wrote: Now, the pure lambda-calculus is built with just two kinds of...

of R. Robert Griesemer, co-creator of Go. Robin Milner, inventor of ML, and sharing credit for Hindley–Milner polymorphic type inference. Rob Pike, co-creator...

1978 Robin Milner, independently of Hindley's work, provided an equivalent algorithm, Algorithm W. In 1982 Luis Damas finally proved that Milner's algorithm...

The award is supported by Microsoft Research and is named in honour of Robin Milner, a prolific pioneer in computer science who, among other contributions...

Award, for foundational contributions to type theory and its use. (2021) Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard...

operating systems within a device. In 1989, the PI Calculus was created by Robin Milner and was very successful throughout the years. The PI Calculus is an extension...

James Philip Milner (born 4 January 1986) is an English professional footballer who plays as a midfielder for Premier League club Brighton & Hove Albion...

friend and translator Robin Milner-Gulland as "an absolute natural talent at performance" on BBC Radio 4's Last Word programme. Milner-Gulland also wrote...

derived from concurrent computation as explained in Actor model theory. Robin Milner's initial published work on concurrency from the same year was also notable...