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...

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...

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...

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

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...

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...

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

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

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

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

Functions, an interactive automated theorem prover, 1973 formalism by Robin Milner Landing Craft, Flak, a World war 2 Landing craft (BPC) Low cab forward...

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 inference algorithm for ML. Type theory became applied...

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

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...

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)...

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...

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

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...

Antelope. Milner-Gulland was born on 3 June 1967 in Cuckfield, Sussex. She is the elder daughter of the renowned Russian scholar Robin Milner-Gulland and...

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...

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...

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

inspired: Logic for Computable Functions (LCF), theorem proving logic by Robin Milner. Programming Computable Functions (PCF), small theoretical programming...

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...

of cultural heritage. ASTM International. p. ix. ISBN 0-8031-2497-X. Robin Milner-Gulland (2000). The Russians. Wiley-Blackwell. p. 35. ISBN 0-631-21849-1...

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...