合集《》中，首次提出了特设多态和参数多态的概念。特设多态是Algol 68的特征，而参数多态是ML在1975年介入的类型系统的核心特征。在1985年，和在论文中引入了术语「包含多态」来为子类型和继承建模。不过子类型和继承本身在 1967年就已经在Simula有对应的实现。
类别.
特设多态.克里斯托弗·斯特雷奇选择术语“特设多态”来指称一个多态函数可以应用于有不同类型的实际参数上，但是以来它们所应用到的实际参数类型而有不同的表现（也叫做为函数重载或运算符重