The Theory of Classification, Part 13: Template Classes and Genericity.
Anthony J. H. Simons · The Journal of Object Technology · 2004
The object-oriented type theory for non-specialists is discussed. It is shown that how parametric polymorphism, known as templates in C++ and genericity in Ada and Eiffel, can be added to the Theory of Classification. The generic types could be created by abstracting over parts of simple types. A generic type is modeled as a type function expecting an actual type argument.