Searches , social queries for ROBIN MILNER
Search references for ROBIN MILNER. Phrases containing ROBIN MILNER
See searches and references containing ROBIN MILNER!
Search references for ROBIN MILNER. Phrases containing ROBIN MILNER
See searches and references containing ROBIN MILNER!ROBIN MILNER
British computer scientist (1934–2010)
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010) was a British computer scientist, and he won the 1991 ACM Turing Award. Milner was born
Robin_Milner
British scholar (born 1936)
Robert Rainsford "Robin" Milner-Gulland, FBA, FSA, (born 24 February 1936) is a British scholar of Russian and Byzantine literature, culture, and art
Robin_Milner-Gulland
Type system used in computer programming and mathematics
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
Hindley–Milner_type_system
English footballer (born 1986)
James Philip Milner (born 4 January 1986) is an English former professional footballer. A versatile player, he played in multiple positions, including
James_Milner
Association for Computing Machinery (ACM) special interest group
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
SIGPLAN
Typed functional language
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
Programming Computable Functions
Programming_Computable_Functions
General purpose functional programming language
subsequent functional language development. ML started development by Robin Milner upon his arrival at University of Edinburgh in 1973 with the help of
ML_(programming_language)
1970s automated theorem prover
interactive automated theorem prover developed at Stanford and Edinburgh by Robin Milner and collaborators in early 1970s, based on the theoretical foundation
Logic for Computable Functions
Logic_for_Computable_Functions
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
Calculus of communicating systems
Calculus_of_communicating_systems
Bulgarian computer scientist
programming language and system Silq. Vechev received the ACM SIGPLAN Robin Milner Young Researcher Award in 2019. He was awarded an ERC Consolidator Grant
Martin_Vechev
American annual computer science prize
78–89. doi:10.1145/151233.151240. Michael Fourman. "Arthur John Robin Gorell ("Robin") Milner - A.M. Turing Award Laureate". Association for Computing Machinery
Turing_Award
European computer science award
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
Milner_Award
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
Bigraph
similar to an automaton. It was introduced in 1980 by Matthew Hennessy and Robin Milner in their paper "On observing nondeterminism and concurrency" (ICALP)
Hennessy–Milner_logic
Branch of computer science
Functions, an abstract typed functional language. In 1978, Robin Milner introduces the Hindley–Milner type system inference algorithm for ML language. Type
Programming_language_theory
received his PhD from the University of Edinburgh under the supervision of Robin Milner in 1993. He has had visiting positions at the Centrum Wiskunde & Informatica
Davide_Sangiorgi
Flapjax, ACM SIGPLAN 2018 PL Software Award for Racket, 2012 ACM SIGPLAN Robin Milner Young Researcher Award David Kuck, the IEEE Computer Society 2011 Computer
List of programming language researchers
List_of_programming_language_researchers
Model of concurrent computation
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
Actor_model
Deductive system for computable functions by Dana Scott
inspired: Logic for Computable Functions (LCF), theorem proving logic by Robin Milner. Programming Computable Functions (PCF), small theoretical programming
Logic_of_Computable_Functions
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
API-Calculus
Process calculus
7559. Robin Milner (1993). "Elements of interaction: Turing award lecture". Commun. ACM. 36 (1): 78–89. doi:10.1145/151233.151240. Milner, Robin (1999)
Π-calculus
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
History of programming languages
History_of_programming_languages
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
Shriram_Krishnamurthi
Programming language
output (see persistent data structure). Between the 1970s and 1980s, Robin Milner, a British computer scientist and Turing Award winner, worked at the
OCaml
UK university department
Jean Bacon James Davenport Andrew D. Gordon Philip Hazel Andy Hopper Robin Milner Alan Mycroft Roger Needham Martin Richards Peter Robinson, Karen Spärck
Department of Computer Science and Technology, University of Cambridge
Department_of_Computer_Science_and_Technology,_University_of_Cambridge
Conservation biologist
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
E._J._Milner-Gulland
Family of approaches for modelling concurrent systems
at the Using CSP website. Robin Milner: A Calculus of Communicating Systems, Springer Verlag, ISBN 0-387-10235-3. Robin Milner: Communicating and Mobile
Process_calculus
Extent to which a programming language discourages type errors
subtyping and polymorphism for complications. British computer scientist Robin Milner states that: Well-typed programs cannot "go wrong". If a type system
Type_safety
Approaches to modelling in computer science
Universal Modular Actor Formalism for Artificial Intelligence IJCAI 1973. Robin Milner. Processes: A Mathematical Model of Computing Agents in Logic Colloquium
Actor model and process calculi
Actor_model_and_process_calculi
Topics referred to by the same term
Functions, an interactive automated theorem prover, 1973 formalism by Robin Milner Landing Craft, Flak, a World war 2 Landing craft (BPC) Lattice confinement
LCF
Computer scientist
transformations for applicative programs supervised by Rod Burstall and Robin Milner. Mycroft's research interests are in programming languages, software
Alan_Mycroft
American computer scientist
better software more easily". She was the 2021 winner of the ACM SIGPLAN Robin Milner Young Researcher Award, recognizing her as "a leader in the area of automated
Emina_Torlak
Automatic detection of the type of an expression in a formal language
1978 Robin Milner, independently of Hindley's work, provided an equivalent algorithm, Algorithm W. In 1982 Luis Damas finally proved that Milner's algorithm
Type_inference
1968 studio album by Joan Baez
Treece) "Poems from the Japanese" (Kenneth Rexroth) "Colours" (Peter Levi, Robin Milner-Gulland, Yevgeny Yevtushenko) "All in green went my love riding" (E.
Baptism: A Journey Through Our Time
Baptism:_A_Journey_Through_Our_Time
Programming paradigm based on applying and composing functions
associated with functional programming. The 1973 language ML was created by Robin Milner at the University of Edinburgh, and David Turner developed the language
Functional_programming
Mathematical term; concerning axioms used to derive theorems
p. 1. ISBN 978-94-017-0253-9. Milner, Robin (2000). Proof, Language, and Interaction: Essays in Honour of Robin Milner. MIT Press. p. 169. ISBN 978-0-262-16188-6
Axiomatic_system
Public research university in London, England
Ilan University David Leigh – Journalist David Marks – Psychologist Robin Milner – Computer scientist and recipient of the 1991 ACM Turing Award Ian Pace
City St George's, University of London
City_St_George's,_University_of_London
Academic institution in City of Edinburgh, Scotland
University of Edinburgh, in Scotland. It was founded in 1987 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew Hennessy. It is a community of theoretical
Laboratory for Foundations of Computer Science
Laboratory_for_Foundations_of_Computer_Science
theory of concurrent, communicating processes, that was invented by Robin Milner Relational calculus, a calculus for the relational data model Domain
List_of_formal_systems
1973 COMAL Børge Christensen, Benedict Løfstedt Pascal, BASIC 1973 ML Robin Milner 1973 LIS Jean Ichbiah et al. at CII Honeywell Bull Pascal, Sue 1973 Speakeasy-3
Timeline of programming languages
Timeline_of_programming_languages
Club founded by Peter I of Russia
of the Roman Catholic Church", which did not bother as many Russians. Robin Milner-Gulland notes that the Synod has been seen in various lights – as an
The All-Joking, All-Drunken Synod of Fools and Jesters
The_All-Joking,_All-Drunken_Synod_of_Fools_and_Jesters
Danish computer scientist
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
Mads_Tofte
Surname list
British politician John Masson Gulland (1898–1947) Scottish biochemist Robin Milner-Gulland (born 1936), British scholar Sandra Gulland (born 1944), American-born
Gulland
Randy Katz, Ken Kennedy, James Kurose, Ed Lazowska, Barbara Liskov, Robin Milner, Charles R. (Chuck) Moore, Christos Papadimitriou, Michael Rabin, Scott
Federated Computing Research Conference
Federated_Computing_Research_Conference
Scholarship holder at certain British schools and colleges
(writer) James Manners (steppe explorer, naturist) David Maxwell (rower) Robin Milner (computer scientist) Charles Moore, Baron Moore of Etchingham (journalist)
King's_Scholar
Soviet and Russian poet (1933–2017)
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
Yevgeny_Yevtushenko
British computer scientist
the University of Waterloo, before going on to do a PhD supervised by Robin Milner in the Laboratory for Foundations of Computer Science at the University
Faron_Moller
Surname list
British-Canadian neuroscientist Robin Milner (1934–2010), British computer scientist Stephen Milner, British scholar of Italian Andy Milner (born 1967), English
Milner_(surname)
English writer, archaeologist, and priest (1931–2000)
Duckworth. ISBN 0-7156-2833-X Yevtushenko, Yevgeny. Trans. Peter Levi and Robin Milner-Gulland (1966). Poems: chosen by the author.London: Collins and Harvill
Peter_Levi
Professor Robin Milner (1934–2010), informatician and computer scientist. John Standing (born 1934), actor Ben Whitaker (1934–2014), author Robin Dixon,
List of Old Etonians born in the 20th century
List_of_Old_Etonians_born_in_the_20th_century
American computer scientist
University of Pennsylvania faculty in 2002. Weirich won the SIGPLAN Robin Milner Young Researcher Award in 2016. She was named as an ACM Fellow, in the
Stephanie_Weirich
American computer scientist
known for the algorithm he and Paris Kanellakis developed for deciding Robin Milner's bisimulation. Smolka is a Fellow of the European Association for Theoretical
Scott_A._Smolka
Russian-British historian
"APS Member History". search.amphilsoc.org. Retrieved 14 April 2022. Robin Milner-Gulland, 'Professor Sir Dimitri Obolensky, 1918-2002', Society for the
Dimitri_Obolensky
Computer scientist
Award, for foundational contributions to type theory and its use. (2021) Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard
Robert Harper (computer scientist)
Robert_Harper_(computer_scientist)
Programming mechanism
pi-calculus", Proof, Language, and Interaction: Essays in Honour of Robin Milner, Foundations Of Computing Series, Cambridge, MA: MIT Press, pp. 455–494
Function composition (computer science)
Function_composition_(computer_science)
American computer scientist; Planner programming language designer (1944–2022)
S2CID 9782289. Archived from the original on 2007-04-25. Retrieved 2007-04-22. Milner, Robin (January 1993). "ACM Turing Award Lecture: The Elements of Interaction"
Carl_Hewitt
European collaborative research project
Jifeng Eric Hehner Andrey Kolmogorov Gary T. Leavens John Lucas David May Robin Milner Jayadev Misra Carroll Morgan Peter O'Hearn Ernst-Rüdiger Olderog Jill
ProCoS
Irish computer scientist
He also has an interest in verification tools. His co-authors include Robin Milner and Gordon Plotkin. Hennessy is a member of the Academy of Europe. He
Matthew_Hennessy
Computer Scientist
Burstall. Plotkin has remained at Edinburgh, and was, with Burstall and Robin Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS)
Gordon_Plotkin
Process calculus which extends Robin Milner's CCS
Temporal Process Language (TPL) is a process calculus which extends Robin Milner's CCS with the notion of multi-party synchronization, which allows multiple
Temporal_Process_Language
Bertrand Meyer – Eiffel (programming language) Silvio Micali – cryptography Robin Milner – ML (programming language) Jack Minker – database logic Marvin Minsky
List_of_computer_scientists
British computer scientist
60th birthday. Mike Gordon was married to Avra Cohn, a PhD student of Robin Milner at the University of Edinburgh, and they undertook research together
Michael_J._C._Gordon
co-inventor of Ethernet, inducted into National Inventors Hall of Fame Robin Milner, former faculty, Turing Award-winning computer scientist Allen Newell
List of Stanford University faculty and staff
List_of_Stanford_University_faculty_and_staff
Prize to encourage better use of energy sources
Vincenzo Balzani Environmental Sciences – Claude Lorius Computer Science – Robin Milner 1995 Physics – Olli Lounasmaa Energy Sciences – Maurizio Cumo Communications
ENI_award
Jacobus Maria Kuypers (1925–1989) Tomas Lindahl Alan Lindsay Mackay Robin Milner(1934–2010) Ashesh Prosad Mitra (1927–2007) Salvador Moncada John Gareth
List of fellows of the Royal Society elected in 1988
List_of_fellows_of_the_Royal_Society_elected_in_1988
Annual conference series on object-oriented programming technology
Ivar Jacobson, Philippe Kahn, Alan Kay, Bertrand Meyer, Jim Miller, Robin Milner, David Parnas, Trygve Reenskaug, Michael Stal, Dave Thomas, David Taylor
TOOLS_conference_series
Danish computer scientist
his PhD in Computer Science from University of Edinburgh, advised by Robin Milner. Since 1993, Larsen has been a professor in Computer Science at Aalborg
Kim_Guldstrand_Larsen
English author and bookseller (1920–1996)
(31 August 1980). "Christopher Robin turns 60". Kingman Daily Milner. p. 10. Ferguson, Euan (28 April 1996). "Robin's gone, but swallows linger on". The
Christopher_Robin_Milne
University 1987 David L. Mills (died 2024) University of Delaware 2008 Robin Milner (died 2010) University of Cambridge 2008 Marvin L. Minsky (died 2016)
List of members of the National Academy of Engineering (computer science)
List_of_members_of_the_National_Academy_of_Engineering_(computer_science)
14th-century manuscript of the Gospels
conservative one which "adhered closely to Byzantine models". According to Robin Milner-Gulland, "All the painters use saturated colours, relish picturesque
Gospels of Tsar Ivan Alexander
Gospels_of_Tsar_Ivan_Alexander
Award
A. R. Hoare 1978 Gene Amdahl 1979 Donald Knuth 1980 Iann Barron 1986 Robin Milner 1988 Wladyslaw M. Turski 1989 Robb Wilmot 1990 Fred Brooks 1994 Bill
Distinguished Fellow of the British Computer Society
Distinguished_Fellow_of_the_British_Computer_Society
Public university in Swansea, Wales
of the Farr Institute Centre for the Improvement of Population Health Robin Milner, computer scientist Florence Annie Mockeridge, botanist, dean of science
Swansea_University
C17th and C18th Leopold Labedz (1920–1993) Roy Medvedev (1925–2026) Robin Milner-Gulland (born 1936) - cultural history Richard Pipes (1923–2018) – Soviet
List of historians by area of study
List_of_historians_by_area_of_study
Albanian footballer. Erwin Lehn, 90, German musician and conductor. Robin Milner, 76, British computer scientist, heart attack. Ai Ogawa, 62, American
Deaths_in_March_2010
University in Brighton and Hove, England
Sir Richard Jolly, astrophysicist and writer John Gribbin, historian Robin Milner-Gulland, scholar Edward Timms, author Gabriel Josipovici, geographer
University_of_Sussex
Austrian computer scientist
Fellow of the AAAS, the ACM, and the IEEE. He has received the 2015 Robin Milner Award of the Royal Society, the EATCS Award of the European Association
Thomas_Henzinger
Organization
Dana S. Scott ICALP (Wrocław) 2006 Mike Paterson ICALP (Venice) 2005 Robin Milner ICALP (Lisbon) 2004 Arto Salomaa ICALP (Turku) 2003 Grzegorz Rozenberg
European Association for Theoretical Computer Science
European_Association_for_Theoretical_Computer_Science
audiences". The Royal Society. Retrieved 28 October 2020. "Royal Society Milner Award". Royal Society. Retrieved 16 June 2017. "Royal Society Mullard Award"
Awards, lectures and medals of the Royal Society
Awards,_lectures_and_medals_of_the_Royal_Society
British computer scientist
being awarded an EPSRC Advanced Fellowship at Cambridge University with Robin Milner (which ran from 1998 to 2001), Gardner held a BP Research Fellowship
Philippa_Gardner
Scythia Map of the southern Trajan Wall, between Tyras and the Prut Robin Milner-Gulland, The Russians, Blackwell Publishing, ISBN 0-631-21849-1 p.44
History of Transnistria to 1792
History_of_Transnistria_to_1792
vice-chancellor of University of Hong Kong James Clerk Maxwell (Trinity) Robin Milner (King's), Turing Award winner César Milstein (Fitzwilliam/Darwin), Nobel
List of University of Cambridge people
List_of_University_of_Cambridge_people
CCS-Calculus of Robin Milner. The main objective of CCS was to provide a mathematical framework to describe communicating systems in a formal way. Milner states
Subject-oriented business process management
Subject-oriented_business_process_management
Communicating Sequential Processes CACM. August, 1978. George Milne and Robin Milner. Concurrent processes and their syntax JACM. April, 1979. Nissim Francez
Denotational semantics of the Actor model
Denotational_semantics_of_the_Actor_model
domains Journal of Computer and System Sciences. 1978. George Milne and Robin Milner. Concurrent processes and their syntax Journal of the ACM. April, 1979
Power_domains
Bertrand Meyer, Object-Oriented Software Construction (first edition only). Robin Milner, Communication and Concurrency, 1989. ISBN 0-13-115007-3 (for the paperback)
Prentice Hall International Series in Computer Science
Prentice_Hall_International_Series_in_Computer_Science
Scottish academy of sciences
Edward and William G. Hill 2004: Philip Cohen, Neil MacCormick, and Robin Milner 2003: Paul Nurse, James Mackay and Michael Atiyah 2002: Alfred Cuschieri
Royal_Society_of_Edinburgh
Formal model in concurrency theory
approach taken in developing CSP into a process algebra was influenced by Robin Milner's work on the Calculus of Communicating Systems (CCS) and conversely.
Communicating sequential processes
Communicating_sequential_processes
Peter J. Heather, The Goths, Blackwell Publishing, ISBN 0-631-20932-8 Robin Milner-Gulland, The Russians, Blackwell Publishing, ISBN 0-631-21849-1 p.44
History_of_Transnistria
Richard R. Ernst Medicine – Erwin Neher, Bert Sakmann Turing Award – Robin Milner February 28 – Sheree Atcheson, Sri Lankan-Irish computer scientist Hong
1991_in_science
Geography Dr D. Miller (University of Oxford), Political Science Professor Robin Milner-Gulland (University of Sussex), Russian Literature Professor S. Mitchell
List of fellows of the British Academy elected in the 2000s
List_of_fellows_of_the_British_Academy_elected_in_the_2000s
scientist Donald Michie, founder of Artificial Intelligence in the UK Robin Milner (1934–2010), computer scientist, developer of ML, π-calculus and LCF
List of University of Edinburgh people
List_of_University_of_Edinburgh_people
English computer scientist
Science from the same college. He went on to do a PhD supervised by Robin Milner in the Laboratory for Foundations of Computer Science at the University
Chris_Tofts
English politician
Haldane (1909), T.H.R. Skyrme (1939), Peter Swinnerton-Dyer (1943), Robin Milner (1952), Luke Hodgkin (1956 - Mathematics, King's College London), John
George_Tomline_(politician)
relationship between semantic knowledge representations and the bigraphs of Robin Milner, but found existing languages excessively formal and lacking in expressibility
Semantic_spacetime
Element of Surprise in Timed Games." (CONCUR 2003) James J. Leifer & Robin Milner: "Deriving Bisimulation Congruences for Reactive Systems." (CONCUR 2000)
International Conference on Concurrency Theory
International_Conference_on_Concurrency_Theory
Programming language
transfer-of-control operations. Both of these were typed dynamically. Robin Milner's ML may be considered equivalent to ISWIM without the J operator and
ISWIM
2013 UK local government election
East Party Candidate Votes % ±% Conservative Liz Bowes 1,843 58 UKIP Robin Milner 618 19 Liberal Democrats Liam Lyons 407 13 Labour Alex Denning 318 10
2013 Surrey County Council election
2013_Surrey_County_Council_election
2011 UK local government election
Chrystie 1,547 67.20% Liberal Democrats Andrew Grimshaw 439 19.10% UKIP Robin Milner 158 6.90% Labour Michael Wood 158 6.90% Majority Turnout 2,302 58.30%
2011 Woking Borough Council election
2011_Woking_Borough_Council_election
2015 UK local government election
Conservative Graham Chrystie 2076 Liberal Democrats Gareth Davies 366 UKIP Robin Milner 331 Labour Mohammed Khalid 154 Green Joel Street 140 Majority Turnout
2015 Woking Borough Council election
2015_Woking_Borough_Council_election
2017 UK local government election
Liberal Democrats Liam Lyons 954 25 +12 Labour Geoff O'Shea 299 8 −2 UKIP Robin Milner 174 5 −14 Majority 1387 37 −2 Turnout 3768 38 +6.5 Conservative hold
2017 Surrey County Council election
2017_Surrey_County_Council_election
travel, tourism, insurance
ROBIN MILNER
ROBIN MILNER
ROBIN MILNER
ROBIN MILNER
ROBIN MILNER
ROBIN MILNER
ROBIN MILNER
ROBIN MILNER
ROBIN MILNER
travel, tourism, insurance