托比亚斯·尼普科;克里斯蒂安·普雷霍弗 类型类的类型重构。 （英语） 兹比尔083368025 J.功能。程序。 第5期，第2201-224号（1995年）. 摘要：我们研究了函数编程语言Haskell中具有类型类的系统的类型推理问题。类型类是带有重载的ML-style多态性的扩展。我们通过在类型判断中引入单独的上下文约束类型变量来推广Milner关于多态性的工作。这就产生了与ML相似的简单类型推理系统和算法。特别是，我们提出了一种新的统一算法，它是带约束求解的句法统一的扩展。主类型的存在源于对该统一算法的分析。 引用于7文件 MSC公司： 68甲15 编程语言理论 关键词：函数式程序设计语言;哈斯克尔 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow}和\textit{C.Prehofer}，J.Funct。程序。5，第2号，201--224（1995；Zbl 0833.68025） 全文： 内政部