Near Matches
Ignore Exact
Everything
2
Hindley-Milner polymorphic type system
Comparison of programming language types
Robin Milner
type safe
Objective Caml
SML
Polymorphism
Type Theory
Myra Hindley
Unification
Haskell
schema
ocaml
Inference
scary
elegant
ML
Log in
or
register
to write something here or to contact authors.