摘要
1 M.Abadi和L.Cardelli。 一个提奥#的物体。 Springer-Verlag，1996年。 谷歌学者 
数字图书馆 
2 A.V.Aho、R.Garey和J.D.Ullman。 有向图的传递约简。 SlAM计算杂志，1（2）：131-1371972年6月。 谷歌学者 交叉引用 
三。 A.Aiken和E.L.Wimmers。 类型包含约束和类型推理。 1993年FPCA会议记录# 《功能编程语言与计算机体系结构》，丹麦哥本哈根，第31-42页，1993年6月。 谷歌学者 数字图书馆 4 A.Aiken、E.L.Wimmers和T.K.Lakshman。 使用条件类型的软类型。 程序中# 第1届CM SIGPLAN-SIGA CT编程语言原理年会，俄勒冈州波特兰。 ACM出版社，1994年1月。 谷歌学者 数字图书馆 5 A.Aiken、E.L.Wimmers和3。 Palsberg。多态性类型与子类型的最佳表示。 技术报告UCB/CSD-96-909，加州大学伯克利分校，1996年7月。 谷歌学者 数字图书馆 6 H.P.巴伦德雷格特。 《兰姆达演算：语法与语义》，《逻辑与数学基础研究》第103卷。 北荷兰，1984年。 谷歌学者 7 H.P.巴伦德雷格特。 带有类型的Lambda计算。 编辑S.Abramsky、D.M.Gabbay和T.S.E.Maibanm，《计算机科学逻辑手册》第二卷，第117-309页。 牛津大学出版社，1992年。 谷歌学者 数字图书馆 8 马金·本克。 存在继承时的高效类型重建。 《计算机科学数学基础》（MFCS），第272-280页。 Springer Verlag，LNCS 7111993年。 谷歌学者 数字图书馆 9 马金·本克。 子类型不等式的一些复杂性边界。 技术报告TR 95-20（220），波兰华沙大学信息学院华沙大学，1995年12月。 谷歌学者 10 P.柯蒂斯。 多态性类型分析中的限制量化。 技术报告CSL-90-1，施乐Parc，1990年2月。 谷歌学者 11 3.艾弗里、S.史密斯和V.特里夫诺夫。 对象的健全多态类型推断。 1995年OOPSLA会议记录。 谷歌学者 数字图书馆 12 M.F~hndrich和A.Aiken。 编制集约束程序分析量表。 1996年，马萨诸塞州坎布里奇举办的关于设置约束的研讨会。 谷歌学者 数字图书馆 13 Y.Fuh和P.Mishra。 多态亚型推断：缩小理论与实践的差距。 程序中。 《软件开发理论与实践国际会议》，第167-183页，西班牙巴塞罗那，1989年3月。 斯普林格·弗拉格。 谷歌学者 数字图书馆 14 Y.Fuh和P.Mishra。 具有子类型的类型推断。 理论计算机科学（TCS），73:155-1751990。 谷歌学者 数字图书馆 15 C.A.Gunter和J.C.Mitchell，编辑。 面向对象编程的理论方面。 麻省理工学院出版社，1994年。 谷歌学者 数字图书馆 16 F.Henglein和C.Mossin。 多态结合时间分析。 程序中。 欧洲编程研讨会（ESOP），苏格兰爱丁堡。 Springer-Verlag，1994年4月。 也是DIKU语义报告D-198。 谷歌学者 数字图书馆 17 M.Hoang和J.C.Mitchell。 具有子类型的类型推理的下限。 程序中。 第二届年度编程语言原理研讨会（POPL），176-185页。 ACM出版社，1995年。 谷歌学者 数字图书馆 18 P.Hudak和J.Fasel。 对哈斯克尔的温柔介绍。 Sigplan通告，27（5）：第T节，1992年。 谷歌学者 数字图书馆 19 S.Kaes。 存在重载、子类型和递归类型时的类型推断。 程序中。 《LISP和函数编程（LFP）的构型管理会议》，加利福尼亚州圣贝尼斯科，第193-204页。 ACM出版社，1992年6月。 另见《LISP指针》，第五卷，第1期，1992年1月至3月。 谷歌学者 数字图书馆 20 P.Kanellakis、H.Mairson和J.C.Mitchell。 统一和ML型重建。 《计算逻辑——纪念艾伦·罗宾逊的论文》编辑J.-L.拉塞兹和G.普罗特金。 麻省理工学院出版社，1991年。 谷歌学者 21 P·林肯和J·C·米切尔。 子类型类型推理的算法方面。 程序中。 第19届CM SIGPLAN-SIGA CT程序语言原则研讨会，新墨西哥州阿尔伯克基，第293-304页。 ACM出版社，1992年1月。 谷歌学者 数字图书馆 22 R.Milner、M.Torte.、。， 和R.Harper。 《标准ML的定义》，麻省理工学院出版社，1990年。 谷歌学者 数字图书馆 23 J.C.米切尔。 胁迫和类型推断（摘要）。 程序中。 第11 A CM糖浆。 《程序设计语言原理》（POPL），第175-1851984页。 谷歌学者 数字图书馆 24 J.C.米切尔。 具有简单子类型的类型推断。 函数编程杂志，1（3）：245-2851991年7月。 谷歌学者 交叉引用 25 J.C.米切尔。 编程语言基础。 麻省理工学院出版社，1996年。 谷歌学者 数字图书馆 26 F.波蒂埃。 简化子类型约束。 在ICFP’96年会议记录中，函数编程国际会议，第122-133页。 ACM出版社，1996年5月。 谷歌学者 数字图书馆 27 V.Pratt和J.Tiuryn。 偏序集中不等式的可满足性。 Studia Logiea（待发布）。 谷歌学者 28 D.普拉维茨。 自然扣除。 阿尔奎斯特（&；A）； 维克塞尔，乌普萨拉，1965年。 谷歌学者 29 J.雷霍夫。 原子子类型中的最小类型。 丹麦哥本哈根大学计算机科学系DIKU技术报告D-278。网址： http://www.diku.dk/researchgroups/topps/personal/rehof/publications.html , 1996. 谷歌学者 30 G.S.史密斯。 具有重载和子类型的函数程序的主体类型方案。 《计算机程序设计科学》，23:197-2261994年。 谷歌学者 数字图书馆 31 J.Tiuryn。 子类型不平等。 程序中。 第七届IEEE年度糖浆。 《计算机科学中的逻辑》（LICS），加州圣克鲁斯，第308-315页。 IEEE计算机学会出版社，1992年6月。 谷歌学者 32 V.Trifonov和S.Smith。 对受约束的类型进行子类型划分。 《SAS’96年会议记录》，静态分析研讨会，德国亚琛，第349-365页。 施普林格，1996年。 计算机科学课堂讲稿，vo1.1145。 谷歌学者 数字图书馆 33 D.特纳。 米兰达：一种具有多态类型的非限定功能语言。 程序中。 《函数编程语言与计算机体系结构》，第1-16页，法国南希，1985年。 斯普林格。 计算机科学讲义，第201卷。 谷歌学者 数字图书馆 34 M·旺德。 类型推理的简单算法和证明。 《基础信息》，X:115-1221987年。 谷歌学者
建议
一级mixin模的类型推理、主类型和let多态 第十届ACM SIGPLAN功能编程国际会议记录 一个 mixin模块 是一种编程抽象，它同时泛化λ-抽象、记录和相互递归定义。 虽然已经开发了各种mixin模块类型的系统，但还没有人进行过研究 主要打字员 或者。。。 为所有人提供一致的子类型 2018年员工持股计划专刊 在一些渐进类型系统中使用一致的子类型来验证类型转换。 Siek和Taha最初的定义为设计带有子类型的渐变类型系统提供了指导。 系统F的多态类型也诱导了一个。。。
