Robin Milner
- Algebraic laws for nondeterminism and concurrency
1985/01/01 by Matthew Hennessy, Robin Milner · 25 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge
- A theory of type polymorphism in programming
1978/12/01 by Robin Milner · 23 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #semigroups and automata theory