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 | Associativity | scary | elegant |
| 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.