Type theory
Data types
Functional programming
Object-oriented programming
Polymorphism
Parametric polymorphism
Map
Ordinal number
Boolean data type