Near Matches
Ignore Exact
Everything
2
Robin Milner
Turing award
Type Theory
Hindley-Milner polymorphic type system
type safe
SML
Inference
Leslie Lamport
ML
Log in
or
register
to write something here or to contact authors.