Robin Milner is a
Turing Award-winning
computer scientist whose best-known contributions include polymorphic type inference for the
ML programming language (introduced in the work
on
LCF theorem prover)
and work in process calculi such as the
pi calculus[?].