Everything about Robin Milner

🧭 Start here: a 6-step reading path

1. Read the overview: Robin MilnerA 5-minute orientation
2. Skim a recent paper: Andrey Rublev: The Artist and his World by Robin Milner-Gulland (review)Influential work since 2022
3. Pick up a classic book: PoemsThe most-reprinted book on the subject
4. Read the landmark paper: An interview with Robin MilnerCited 2 times
5. Go sideways: Robert Harper (computer scientist)A closely related topic
6. Go sideways: Mads TofteA closely related topic

🏆 Landmark papers (most cited)

• An interview with Robin Milner

  Karen A. Frenkel, Robin Milner · 1993 · Communications of the ACM · 2 citations

• Robin Milner

  Leah Hoffmann · 2010 · Communications of the ACM · 1 citations

• An Interview with Robin Milner

  · 2006 · Electronic Notes in Theoretical Computer Science · 1 citations

• Communicating and Mobile Systems: the π-calculus by Robin Milner, Cambridge University Press, 1999

  Alan Jeffrey · 2001 · Journal of Functional Programming · 1 citations

• Robin Milner 1934--2010

  Andrew D. Gordon, Robert Harper, John Harrison · 2011 · ACM SIGPLAN Notices · 0 citations

• In Memoriam: Robin Milner and Amir Pnueli

  Bashar Nuseibeh · 2010 · IEEE Transactions on Software Engineering · 0 citations

• Robin Milner: 13 January 1934–20 March 2010

  · 2010 · Formal Aspects of Computing · 0 citations

• Patterns of Russia: History, Culture, Spaces by Robin Milner-Gulland

  Sergei Bogatyrev · 2022 · Slavonic and East European Review · 0 citations

🆕 Influential since 2022

• Andrey Rublev: The Artist and his World by Robin Milner-Gulland (review)

  · 2023 · Slavonic and East European Review · 0 citations

• Andrey Rublev: The Artist and His World. By Robin Milner-Gulland. London: Reaktion Books, 2023. 152 pp. $22.50 cloth.

  Jennifer B. Spock · 2024 · Church History · 0 citations

📚 Books worth reading

• PoemsYevgeny Aleksandrovich Yevtushenko · 1962
• Proof, language, and interactionMads Tofte, G. Plotkin · 2000
• The Space and Motion of Communicating AgentsRobin Milner · 2009
• The definition of standard MLR. Milner, Robin Milner · 1997
• A calculus of communicating systemsRobin Milner · 1980
• 📕Computing TomorrowIan Wand, Robin Milner · 2009
• Communicating and Mobile SystemsRobin Milner · 1999
• Communication and ConcurrencyRobin Milner · 1995

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Robert Harper (computer scientist) Robert William Harper, Jr. (born 1957) is a computer science professor at Carnegie Mellon University who works in programming language research. Prior…
• Mads Tofte Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming…
• List of programming language researchers The following is list of researchers of programming language theory, design, implementation, and related areas. Martín Abadi, for the programming language…
• Bigraph A bigraph can be modelled as the superposition of a graph (the link graph) and a set of trees (the place graph). Each node of the bigraph is part of a…
• Rod Burstall Rodney Martineau Burstall (11 November 1934 – 13 February 2025) was a British computer scientist who was one of four founders of the Laboratory for Foundations…
• Carl Hewitt Carl Eddie Hewitt (/ˈhjuːɪt/; December 12, 1944 – December 7, 2022) was an American computer scientist who designed the Planner programming language for…
• Programming language theory Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification…
• Logic for Computable Functions Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at Stanford and Edinburgh by Robin Milner and collaborators in…