在1975年介入的类型系统的核心特征。在1985年，和在论文中引入了术语「包含多态」来为子类型和继承建模。不过子类型和继承本身在 1967年就已经在Simula有对应的实现。
类别.
特设多态.克里斯托弗·斯特雷奇选择术语“特设多态”来指称一个多态函数可以应用于有不同类型的实际参数上，但是以来它们所应用到的实际参数类型而有不同的表现（也叫做为函数重载或运算符重载）。在这个上下文中术语“特设”（ad hoc）不意图表达贬义，它只是简单的指出这种多态不是类型系