摘要
1 M.Abadi、L.Cardelli、B.Pierce和G.Plotkin。 静态类型语言中的动态键入。 美国计算机学会程序设计语言与系统汇刊，13（2）（1991）237-268 谷歌学者 
数字图书馆 
2 M.Abadi和L.Cardelli。 基本对象理论：二阶系统。 程序。 欧洲编程研讨会主席，施普林格出版社（1994）1-25 谷歌学者 数字图书馆 三。 A.Aiken和E.Wimmers。 类型包含约束和类型推断。 1993年《FPCA诉讼》（1993）31-41 谷歌学者 数字图书馆 4 F.Bourdoncle，S.Merz。 关于函数编程、基于类的面向对象编程和多方法的集成。 技术报告26，数学应用中心，巴黎矿业大学（1996）http://#。 英语}np，fr/'bourdonc/ 谷歌学者 5 F.Bourdoncle，S.Merz。 原语子类型隐式多态性#=面向对象。 第三届面向对象语言基础国际研讨会（1996）hl:tp://#4，in:tormal； ik、tu-muenchsn、de/'msrz/ 谷歌学者 6 K.B.Bruce、A.Schuett、R.van Gent。 PoIyTOIL：一种类型安全的多态面向对象语言（扩展抽象）。 程序。 1995年版ECOOP，LNCS 952（1995）27-51 谷歌学者 数字图书馆 7 K.B.Bruce、L.Cardelli、G.Castagna、The Hopkins Object Group、G.T.Leavens、B.C.Pierce。 关于二进制方法。 技术报告LIENS-95-14（1995） 谷歌学者 8 G.Castagna、G.Ghelli、G.Longo。 带子类型的重载函数的演算。 信息与计算，117（2）（1995）11,5-135 谷歌学者 数字图书馆 9 G.卡斯塔尼亚，B.C.皮尔斯。 勘误表：可判定有界量化。 程序。 第22杯糖浆。 程序设计语言原理（1995）408-408 谷歌学者 数字图书馆 10 C.Chambers，G.Leavens。 多方法的类型检查和模块。 华盛顿大学技术报告UW-CS TR 95-08-05（1995） 谷歌学者 11 P.L.Curien和G.Ghelli。 包含的一致性、最小类型和F<；的类型检查；。 计算机科学中的数学结构2（1）（1992） 谷歌学者 12 L.G.DeMichiel，R.P.Gabriel。 通用lisp对象系统概述。 ECOOP'8？， LNCS 276（1987）151-170 谷歌学者 数字图书馆 13 D.Duggan和J.Ophel。 种类参数重载。 滑铁卢大学技术报告CS-94-35（1994） 谷歌学者 14 D.达根。 类ML语言的自类型多态方法。 滑铁卢大学技术报告CS-95-03（1995） 谷歌学者 15 D.Duggan和J.Ophel。 多参数参数过载。 滑铁卢大学技术报告（1995年）（提交出版） 谷歌学者 16 J.Eifrig、S.Smith、V.Trifonov。 对象的声音多态类型推断。 程序。 OOPSLA’95（1995）169-184 谷歌学者 数字图书馆 17 Y.-C.Fuh，P.Mishra。 带子类型的类型推断。 第二种欧洲糖浆。 关于编程，LNCS 300（1988）94-114 谷歌学者 数字图书馆 18 Y.-C.Fuh，P.Mishra。 多形性亚型推断：缩小理论与实践之间的差距。 TAPSOFT’89，LNCS 352（1988）167-183 谷歌学者 数字图书馆 19 K·哈蒙德，编辑。 编程语言Haskell报告1.3版（1995年） 谷歌学者 20 R.Harper，J.Mitchell。 关于ML.TOPLAS15（2）（1993）211-252标准的类型结构 谷歌学者 数字图书馆 21 R·辛德雷。 组合逻辑中对象的主要类型方案。 事务处理。 阿默尔。 数学。 《社会学杂志》，146（1969）29-60 谷歌学者 22 L.Jategaonkar，j.C.Mitchell。 具有扩展模式匹配和子类型的类型推断。 基础信息学。 19 (1, 2) (1993) 127-166 谷歌学者 数字图书馆 23 M.P.Jones先生。 构造函数类系统：重载和隐式高阶多态。 93年《金融政策法案》（1993年） 谷歌学者 数字图书馆 24 S.Kaes。 参数多态性。 程序。 2份欧洲糖浆。 关于编程，LNCS 300（1988） 谷歌学者 25 S.Kaes。 存在重载、子类型和递归类型时的类型推断。 程序。 Lisp与函数编程会议（1992）193-204 谷歌学者 数字图书馆 26 X.勒罗伊，M.毛尼。 ML中的动力学。函数编程杂志，3（4）（1993）109-122 谷歌学者 交叉引用 
27 P.Lincoln，J.C.Mitchell，带子类型的类型推断的算法方面。 程序。 第19份ACM糖浆。 《程序设计语言原理》（1991）293-304。 谷歌学者 数字图书馆 28 R.Milner。 编程中的类型多态理论。 计算机与系统科学杂志，第17卷（1978）348-37'5 谷歌学者 交叉引用 29 J.C.米切尔。 强制和类型推断（摘要）。 程序。 第11交响乐团。 《程序设计语言原理》（1984）175-185 谷歌学者 数字图书馆 30 J.C.米切尔。 具有简单子类型的类型推断。 函数编程杂志，1（3）（1991）245-285 谷歌学者 交叉引用 31 M.Odersky、P.Wadler和M.Wehr。 再看一下重载。 程序。 第七届函数编程与计算机体系结构大会（1995）第135-146页 谷歌学者 数字图书馆 32 J.Palsberg。对象类型的有效推断。 程序。 IEEE糖浆。 计算机科学中的逻辑（1994）186-195 谷歌学者 33 B.C.皮尔斯，D.N.特纳。 面向对象编程的简单类型理论基础。 函数编程杂志4（2）（1994）207-24？ 谷歌学者 交叉引用 34 V.Pratt，J.Tiuryn。 偏序集中不等式的可满足性。 华沙大学信息学院技术报告95-15（215）（1995） 谷歌学者 35 J.Reppy和J.Riecke。 标准ML.程序的简单对象。 1996年SIGPLAN编程语言设计与实现会议（1996）171-180 谷歌学者 数字图书馆 36 J.Reppy和J.Riecke。 对象ML中通过模块的类。 发表于第三届面向对象语言基础国际研讨会（1996年）http://tnr#。 ca.villiamm，edu/'klm/F00L/ 谷歌学者 37 J.Tiuryn。 子类型不平等。 第七届计算机科学逻辑研讨会论文集（1992）308-315 谷歌学者 38 J.Tiuryn，M.Wand，用P#加密类型和原子子类型重建类型。 第18届代数与程序设计中的树学术讨论会（1993） 谷歌学者 数字图书馆 39 V.Trifonov，S.Smith。 子类型化约束类型。 第三届国际静态分析研讨会。 计算机科学讲义t145（1996）349-365 谷歌学者 数字图书馆 40 J.Vuillemin。 电路和数字。 IEEE传输。 《计算机》，43:8（1994）868-879 谷歌学者 数字图书馆 41 P.Wadler和S.Blott。 如何减少即席多态性。 程序。 第16份ACM糖浆。 《程序设计语言原理》（1989）60-76 谷歌学者 数字图书馆
建议
多态类型和存在类型的类型检查和推理 CATS’09：第十五届澳大利亚计算机研讨会论文集：澳大利亚理论-第94卷 本文证明了具有多态类型和存在类型的类型lambda演算的一些变体中的类型检查和类型推理问题的不可判定性。 首先，证明了无域多态lambda演算中的类型推理是。。。
