Hindley–Milner type system
E230805
UNEXPLORED
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Robin Milner
→
|
knownFor |