Concepedia

Robin Milner

RM

Statistics

Publications

60

Citations

15.9K

H-Index

38

Active since

1971

Affiliations

University of Edinburgh(Current)

University of Cambridge

Robin Milner is an author at University of Edinburgh specializing in computer science, computing, and formal methods.

Publications per year

1971–2025

60

Publications

60

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text

Engineering, Mathematics, Markov Decision Processes +10

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

Computing, Computer Science, Programming Languages +11

A calculus of mobile processes, II

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 1.7K citations · Full text

Engineering, Mathematics, Markov Decision Processes +11

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

Computing, Computer Science, Computer Systems +15

Principal type-schemes for functional programs

Robin Milner · 1982 · 1.1K citations

Computing, Computer Science, Compilers +6

1–5 of 60