Robin Milner
12 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Communicating and mobile systems: the pi calculus
Robin Milner (1999) · Cambridge university press
The Definition of Standard ML
Robin Milner and others (1997) · The MIT Press
A calculus of mobile processes, I
Robin Milner and others (1992) · Information and Computation · Elsevier BV
The definition of standard ML version 3
Robert Harper and others (1989) · LFCS Report Series ECS-LFCS-89-81
Calculi for synchrony and asynchrony
Robin Milner (1983) · Theoretical Computer Science · Elsevier BV
Principal type-schemes for functional programs
Luis Damas and others (1982) · Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages · Association for Computing Machinery
Edinburgh LCF: A Mechanised Logic of Computation
Michael J. C. Gordon and others (1979) · Springer Berlin Heidelberg
Concurrent Processes and Their Syntax
George Milne and others (1979) · Journal of the ACM · Association for Computing Machinery (ACM)
Lcf: A way of doing proofs with a machine
Robin Milner (1979) · Lecture notes in computer science · Springer Science+Business Media
A theory of type polymorphism in programming
Robin Milner (1978) · Journal of Computer and System Sciences · Elsevier
Processes: A Mathematical Model of Computing Agents
Robin Milner (1975) · Logic Colloquium '73, Proceedings of the Logic Colloquium · Elsevier
An algebraic definition of simulation between programs
Robin Milner (1971) · Computer Science Report CS-205