温特，迈克尔 关于具有自类型和匹配的多态面向对象语言中的问题。 （英语） Zbl 1097.68534号 芬丹。通知。 71，第4期，477-491（2006）. 摘要：子类型是面向对象语言中的一个基本概念。它支持包含，但不幸的是，它不支持二进制方法的继承，即采用另一个类型参数的方法自我–与对象本身的类型相同。为此，提出了递归对象类型上的一种称为匹配的关系。此关系不支持包含，但允许继承二进制方法。提出并讨论了两种不同的匹配定义，称为F有界和高阶子类型。结果表明，高阶解释具有更好的理论性质，即它会导致自反和传递匹配关系。在本文中，我们集中讨论了自类型语言和基于高阶解释的匹配语言中的两个问题。我们表明，自我类型的灵活性可能不允许程序员定义基于常量值的某些类和/或方法。此外，高阶解释，尤其是在有界量化的背景下，限制性太强。我们认为语言应该基于匹配的两个版本和类型的概念这个区别于类型自我. 引用于1文件 MSC公司： 68甲15 编程语言理论 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 软件：PolyTOIL公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Winter}，芬丹。通知。71，第4号，477--491（2006；Zbl 1097.68534）