Object-oriented programming
Type theory
Data types
Scala
Algebra over a field
Combinatory logic
Factory
Subtyping
Is-a
Polymorphism
Von Neumann algebra
Type system