Data types
Object-oriented programming
Programming language theory
Polymorphism
Subtype polymorphism
CDuce
E
Type system
Semantics
Type theory
Computing
Software engineering