Robin Milner
| Turing award | Type Theory | Hindley-Milner polymorphic type system | type safe |
| SML | Inference | Leslie Lamport | ML |
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.