Robin Milner, undated, probably April/Mayappears to be changes relative to the first (TENTATIVE) draft of the Proposal for SML) 

Source URL: sml-family.org

The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science

Source URL: sml-family.org

The Definition of Standard ML The Definition of Standard ML (Revised) Robin Milner, Mads Tofte, Robert Harper and David MacQueen

Source URL: sml-family.org

Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Software engineering
• Computer science
• Hardware description languages
• Synchronous programming languages
• Formal methods
• Denotational semantics
• Esterel
• Robin Milner
• Milner
• Logic for Computable Functions

Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Mathematics
• Software engineering
• Coinduction
• Bisimulation
• Robin Milner
• Type theory
• Simulation preorder

Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012

Source URL: events.inf.ed.ac.uk

• Automated theorem proving
• Logic in computer science
• Proof assistants
• Logic for Computable Functions
• E theorem prover
• HOL
• Robin Milner
• Interactive Theorem Proving
• Type theory

Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Category theory
• Formal methods
• Bisimulation
• Functional programming
• Coinduction
• Denotational semantics
• F-coalgebra
• Robin Milner
• Type theory
• Weak equivalence

Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages

Source URL: ect.bell-labs.com

• Process calculi
• Calculus of communicating systems
• Bisimulation
• Robin Milner
• Alcatel-Lucent
• Q0
• Transition system
• Communicating sequential processes
• Bell Labs
• Lucent

Unfolding CSP Mikkel Bundgaard and Robin Milner Dedicated to Sir Tony Hoare for his 75th birthday Appreciation from the second author Tony Hoare and I have exchanged ideas on concurrent processes for three decades. To a

Source URL: www.itu.dk

Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs

Source URL: www.cl.cam.ac.uk