Type_safety
System_F
Type_theory
Algebraic_types