Software engineering
Type theory
Programming language theory
Computing
Subtyping
Type system
System F
HindleyMilner type system
ML
Type inference
Typeof
Is-a