Computing
Type inference
Type system
ML
Parametric polymorphism
Hindley–Milner
System F
Polymorphism
Type safety
Type theory
Software engineering
Programming language theory