このストレイチーの分類はPeterWegner（英語版）とLucaCardelli（英語版）が1985年に発表した論文のなかで拡張され、部分型や継承を説明するために包含多相という分類が導入された。
1985年，彼得·瓦格纳（英语：PeterWegner）和卢卡·卡代利（英语：LucaCardelli）在论文中引入了术语“蕴含多态”（英语：inclusionpolymorphism）来为子类型和继承(计算机科学)建模。