Programming language theory
OCaml
Type system
ML
Subtype polymorphism
Type inference
System F
Lambda calculus
Type safety
Software engineering
Type theory
Computing