1![Robin Milner, undated, probably April/Mayappears to be changes relative to the first (TENTATIVE) draft of the Proposal for SML)
Robin Milner, undated, probably April/Mayappears to be changes relative to the first (TENTATIVE) draft of the Proposal for SML)](https://www.pdfsearch.io/img/cd9f0118210fab2e2edbe59b89822879.jpg) | Add to Reading ListSource URL: sml-family.org- Date: 2016-04-04 09:33:37
|
---|
2![The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science](https://www.pdfsearch.io/img/a11976ec15d4cd7ec146a355374439da.jpg) | Add to Reading ListSource URL: sml-family.org- Date: 2016-04-04 09:33:37
|
---|
3![The Definition of Standard ML
The Definition of Standard ML (Revised) Robin Milner, Mads Tofte, Robert Harper and David MacQueen The Definition of Standard ML
The Definition of Standard ML (Revised) Robin Milner, Mads Tofte, Robert Harper and David MacQueen](https://www.pdfsearch.io/img/36b599d8c8bfadb9418877afb7a69a57.jpg) | Add to Reading ListSource URL: sml-family.org- Date: 2016-04-04 09:33:37
|
---|
4![Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry](https://www.pdfsearch.io/img/a83b5221b8bb367e62eb9644e4d40470.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:00
|
---|
5![Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/ Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/](https://www.pdfsearch.io/img/1ce52db0cd6f9b99049fa003ccd33092.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:07
|
---|
6![Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012 Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012](https://www.pdfsearch.io/img/e7dfd8c9825b9fef82252dca130ba48d.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:01
|
---|
7![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 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](https://www.pdfsearch.io/img/232f29b6804ca939969d5addd14f4662.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:07
|
---|
8![Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages](https://www.pdfsearch.io/img/dcfc5699385aaa1d18dda459e7345685.jpg) | Add to Reading ListSource URL: ect.bell-labs.comLanguage: English - Date: 2011-01-28 15:15:59
|
---|
9![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 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](https://www.pdfsearch.io/img/d81e85bd2fe1fc3ecd915b698d247e2c.jpg) | Add to Reading ListSource URL: www.itu.dk- Date: 2011-02-14 15:49:40
|
---|
10![Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs](https://www.pdfsearch.io/img/c39528a450297b4deb3a8c3088996a6d.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2011-10-18 12:40:33
|
---|