Search the Kids Internet
Encyclopedia > Robin Milner
Article Content
Robin Milner
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[?].
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|