Universal polymorphism
Parametric and inclusion are closely related
- Implementation approaches are distinct, however
Parametric polymorphism is referred to as generics
- Each generic instantiation can create a specialized version of the code
- Ex: STL (standard template library)
In a "true polymorphic system", only a single implementation is used