摘要
1 M.Abadi和L.Cardelli。 对象类型的语义。 1994年第九届IEEE计算机科学逻辑年会论文集，第332-341页。 谷歌学者 
交叉引用 
2 A.Aiken和E.L.Wimmers。 类型包含约束和类型推断。 《函数编程语言和计算机体系结构国际会议论文集》，第31-411993页。 谷歌学者 数字图书馆 
三。 K.B.Bruce和J.Crabtree。 T.P.Murtagh、R.van Gent、A.Dimock和R.Muller。 面向对象语言中的安全和可判定类型检查。 1993年OOPSLA’93会议记录。 谷歌学者 数字图书馆 4 Kim Bruce、Luca Cardelli、Giuseppe Castagna、Hopkins Objects Group、Gary T.Leavens和Benjamin Pierce。 关于二进制方法。 技术报告TR95-08，美国爱荷华州艾姆斯爱荷华州立大学计算机科学系，邮编：50011-1040。 ftp://ftp.cs.iastate.edu/ pub/techreports/TR95-08/TR.ps.Z.1995。 谷歌学者 5 Kim B.Bruce、Angela Schuett和Robert van Gent。 Poly-TOIL：一种类型安全的多态面向对象语言。 1995年ECOOP。 谷歌学者 数字图书馆 6 P.坎宁、W.库克、W.希尔。 J.Mitchell和W.Olthoff。 面向对象编程的F界多态性。 《函数式程序设计语言与计算机体系结构会议记录》，第273-280页，1989年。 谷歌学者 数字图书馆 7 L.Cardelli。 多重继承的语义。 《数据类型的语义》，《计算机科学》讲义第173卷，第51-67页。 斯普林格·弗拉格，1984年。 谷歌学者 交叉引用 8 朱塞佩·卡斯塔尼亚。 协变与逆变：没有原因的冲突。 《编程语言和系统CM汇刊》，17（3），1995年。 谷歌学者 数字图书馆 9 威廉·库克（William R.Cook）、沃尔特·希尔（Walter L.Hill）和彼得·坎宁（Peter S.Canning）。 继承不是子类型。 第十七届程序设计语言原理年度研讨会会议记录。 ACM出版社，1990年。 谷歌学者 数字图书馆 10 帕维尔·柯蒂斯。 多态性类型分析中的限制量化。 技术报告CSL-90-1，XEROX Palo Alto研究中心，CSLPubs.pare~XEROX。 玉米，1990年。 谷歌学者 11 J.Eifrig、S.Smith和V.Trifonov。 递归约束类型的类型推理及其在OOP中的应用。 1995年编程语义数学基础会议论文集，理论计算机科学电子笔记第1卷。 爱思唯尔，1995年。 谷歌学者 交叉引用 12 J.Eifrig、S.Smith、V.Trifonov和A.Zwarico。 OOP类型理论的应用：状态、可判定性、集成。 在OOPSLA’9~，第16-30页，1994年。 谷歌学者 13 丹尼尔·H·H·英格尔斯。 处理多重多态性的简单技术。 《OOPSLA’86会议记录》，俄勒冈州波特兰，1986年9月，第21卷（11），第347-349页，1986年11月。 谷歌学者 数字图书馆 14 S.Kaes。 存在重载、子类型和递归类型时的类型推断。 1992年，在Lisp和函数编程的CM会议上，第193-204页。 谷歌学者 数字图书馆 15 Samuel N.Kamin和Uday S.Reddy。 面向对象语言的两个语义模型。 Carl A.Gunter和John C.Mitchell主编，《面向对象编程的理论方面》，第13章，第464-495页。 麻省理工学院出版社，1994年。 谷歌学者 数字图书馆 16 R.Milner。 程序设计中的一种类型多态性理论。 《计算机与系统科学杂志》，17:348-3751978年。 谷歌学者 交叉引用 17 R.Milner、M.Torte和R.Harper。 《定义/标准ML》，麻省理工出版社，1990年。 谷歌学者 数字图书馆 18 J.米切尔。 强制和类型推断（摘要）。 1984年第十一届程序设计语言原理年度研讨会会议记录。 谷歌学者 数字图书馆 19 W.B.Mugridge、J.G.Hosking和J.Hamer。 静态类型编程语言中的多方法。 在Pierre America，《ECOOP’91会议记录》编辑，瑞士日内瓦，计算机科学讲稿第512卷。 Springer-Verlag，1991年。 谷歌学者 数字图书馆 20 N.Oxhc~j、j.Palsberg和M.I.Schwartzbach。 具有子类型的类型推理。 在ECOOP’92欧洲面向对象编程会议上，计算机科学讲稿第615卷，第329-349页。 Springer-Verlag，1992年。 谷歌学者 数字图书馆 21 J.Palsberg和M.Schwartzbach。 面向对象类型系统。 威利，1994年。 谷歌学者 数字图书馆 22 Jens Palsberg和Michael I.Schwartzbach。 部分类型的安全分析与类型推断。 《信息处理信函》，第175-180页，1992年。 谷歌学者 数字图书馆 23 J.Plevyak和A.Chien。 面向对象语言的精确具体类型推理。 《第九届面向对象编程系统、语言和应用CM年会论文集》，第324-340页，1994年。 谷歌学者 数字图书馆 24 J.C.雷诺兹。 类型结构的三种方法。 在TAP-SOFT会议记录中，计算机科学讲座笔记第185卷，第97-138页，1985年。 谷歌学者 25 T.Sekiguchi和A.Yonezawa。 子类型递归类型的完整类型推理系统。 程序中。 计算机软件的理论方面，《计算机科学讲义》第789卷，第667-686页。 Springer-Verlag，1994年。 谷歌学者 26 Jean-Pierre Talpin和Pierre Jouvelot。 类型和效果规则。 第七届IEEE计算机科学逻辑年会论文集，第162-173页。 IEEE，1992年。 谷歌学者 交叉引用 27 M.托夫特。 多态引用的类型推断。 信息与计算，89:1-341990。 谷歌学者 数字图书馆 28 米切尔·旺德。 简单对象的完整类型推断。 第二届IEEE计算机科学逻辑年会论文集，第37-44页。 IEEE，1987年。 谷歌学者
建议
多态类型和存在类型的类型检查和推理 CATS’09：第十五届澳大利亚计算机研讨会论文集：澳大利亚理论-第94卷 本文证明了具有多态类型和存在类型的类型lambda演算的一些变体中的类型检查和类型推理问题的不可判定性。 首先，证明了无域多态lambda演算中的类型推理是。。。
