摘要
1 罗伯特·阿马迪奥（Roberto M.Amadio）和卢卡·卡德利（Luca Cardelli）。 子类型递归类型。 1991年1月，佛罗里达州奥兰多，第104-118页，第18届美国构型管理学会原理/编程语言研讨会会议记录。 谷歌学者 
数字图书馆 
2 布鲁诺·库塞尔（Bruno Courcelle）。 无限树的基本性质。 理论计算机科学，25:95-1691983。 谷歌学者 交叉引用 
三。 路易斯·达马斯和罗宾·米尔纳。 功能程序的主要类型方案。 1982年1月，第207-212页，《第九届CM原则/编程语言研讨会会议记录》。 谷歌学者 数字图书馆 4 函数式编程语言和计算机体系结构，第五届CM会议，《计算机科学讲义》第523卷，马萨诸塞州剑桥，1991年8月。 斯普林格·弗拉格。 谷歌学者 数字图书馆 5 You Chin Fuh和Prateek Mishra。 具有子类型的类型推理。 甘辛格{7}，第94-114页。 谷歌学者 6 You-Chin Fuh和Prateek Mishra。 多态亚型推断：缩小理论与实践的差距。 J.Diaz和F.Orejas主编，TAPSOFT’89《国际理论与实践软件开发联合会议论文集》，计算机科学讲稿第352卷，第167-183页，巴塞罗那，1989年3月。 斯普林格·弗拉格。 谷歌学者 数字图书馆 7 Harald Ganzinger，编辑。 ESOP’88，第二届欧洲编程研讨会，计算机科学讲义第300卷，法国南希，1988年3月。 斯普林格·弗拉格。 谷歌学者 数字图书馆 8 Michael Gloger、Stefan Kaes和Christoph Thies。 SAMP.~-的Entwicklung Funkationaler项目 Programmierugebung。 技术报告PI-R3/90，TH Darmstadt，Praktische Informatik，D-6100 Darmstadd，1990年6月。 谷歌学者 9 Robert Harper、Robin Milner和Mads Torte。 标准ML版本2的定义。 技术报告ECS-LFCS-88-62，爱丁堡大学，1988年8月。 谷歌学者 10 Michael J~ger、Michael Gloger和Stefan Kaes。 SAM-PLE——一种函数式语言。 Robin E.Bloomfield、Lynn S.Marshall和Roger B.Jones，编辑，《88年VDM会议录》，《VDM-前进之路》，计算机科学讲义第328卷，202-217页，都柏林，1988年9月。 斯普林格·弗拉格。 谷歌学者 数字图书馆 11 Lalita A.Jategaonkar和John C.Mitchell。 具有扩展模式匹配和子类型的ML。 在LFP88{13}中，第198-211页。 谷歌学者 12 斯特凡·凯斯。 多态编程语言中的参数重载。 甘辛格{7}，第131-144页。 谷歌学者 13 1988年LISP和函数编程CM会议记录，雪鸟，1988年7月。 谷歌学者 14 罗宾·米尔纳。 程序设计中的一种类型多态性理论。 《计算机与系统科学杂志》，17（3）：348-3751978年12月。 谷歌学者 交叉引用 15 约翰·米切尔（John C.Mitchell）。 强制和类型推断。 1984年1月，第11届ACM编程语言原理研讨会，第175-185页，会议记录。 谷歌学者 16 托比亚斯·尼普科（Tobias Nipkow）和格雷戈·斯内尔廷（Gregor Snelting）。 通过order-sorted统一键入类和重载解析。 在FPCA91{4}中，第1-14页。 谷歌学者 17 Atsushi Ohori。数据库编程语言中的类型推断。 在LFP88{13}中，第174-183页。 谷歌学者 18 1989年1月，第16届ACM编程语言原理年会的一致性记录。 谷歌学者 19 Didier R~my。在ML的自然扩展中检查记录和变体。在POPL89{18}中，第77-88页。 谷歌学者 20 弗朗索瓦·鲁克斯。 安全运行时过载。 1990年1月，加利福尼亚州旧金山，第355-366页，第17届美国构型管理学会编程语言原则研讨会会议记录。 谷歌学者 数字图书馆 21 J5rg H.西克曼。 统一理论。 日记帐o/Sym。 玻利克计算，7:207-2731989年2月。 谷歌学者 数字图书馆 22 丹尼斯·沃尔帕诺和杰弗里$。 史密斯。 关于ML类型性与重载的复杂性。 在FPCA91{4}中，第15-28页。 谷歌学者 23 菲利普·沃德勒和斯蒂芬·布洛特。 如何减少adhoc多态性。 在POPL89{18}中，第60-76页。 谷歌学者 24 米切尔·旺德。 简单对象的完整类型推断。 第二届计算机科学逻辑年度研讨会论文集，第37-44页，伊萨卡，纽约，1987年6月。 谷歌学者
建议
MLsub中的多态性、子类型和类型推断 流行'17 我们提出了一种结合子类型和ML类型参数多态性的类型系统。 与以前的工作不同，我们的系统支持类型推理，并且具有紧凑的主体类型。 我们用最小语言MLsub演示了这个系统，它键入了一个严格的。。。
