摘要
1 H.J.博姆。 部分多态类型推断是无法确定的。 第六届计算机科学基础年度研讨会，第339-345页。 IEEE，1985年10月。 谷歌学者 
2 L.Duponeheel和E.Meijer。 关于构造函数类的表达能力。 1994年9月，艾尔，《199#格拉斯哥函数编程研讨会论文集》。 谷歌学者 三。 A.Gill、J.Launehbury和S.L.Peyton Jones。 砍伐森林的捷径。 1993年6月，在丹麦科本豪恩举行的FPCA’93：函数式编程语言和计算机体系结构会议上。 ACM出版社。 谷歌学者 数字图书馆 
4 J.-Y.吉拉德。 我们扩展了“G#S del#l’analyse et son application#l’limination des coupures dans l’anasye et la th#orie de types的接口类型。 在芬斯塔德，编辑，《斯堪的纳维亚逻辑研讨会论文集》。 北荷兰，1971年。 谷歌学者 交叉引用 
5 C.Hall、K.Hammond、W.Partain、S.Peyton Jones和P.Wadler。 格拉斯哥-哈斯克尔公司：回顾。 1992年格拉斯哥函数编程研讨会论文集，1992年7月，苏格兰。 Springer Verlag计算机系列研讨会。 谷歌学者 数字图书馆 6 它。丁德利。 组合逻辑中对象的主要类型方案。 美国数学学会学报，146:29-601969年12月。 谷歌学者 7 W·霍华德。 公式作为解释概念的类型。 收录于《给H.B.库里：组合逻辑论文》，兰姆达。 微积分与形式主义，第479-490页。 学术出版社，1980年。 谷歌学者 8 P.Hudak、S.Peyton Jones和P.Wadler（编辑）。 编程语言Haskell报告，一种非标准纯函数语言（1.2版）。 CM SIGPLAN通知，27（5），1992年5月。 谷歌学者 数字图书馆 9 P.Hudak和P.Wadler（编辑）。 编程语言Haskell报告，一种非标准纯函数语言（1.0版）。 技术报告，格拉斯哥大学，1990年4月。 谷歌学者 10 M.P.Jones先生。 Gofer函数编程系统的实现。 研究报告YALEU/DCS/RR-1030，美国康涅狄格州纽黑文耶鲁大学，1994年5月。 谷歌学者 11 M.P.Jones先生。 构造函数类系统“重载和隐式高阶多态性”。《函数编程杂志》，5（1），1995年1月# 谷歌学者 交叉引用 12 M.P.Jones先生。 Hugs 1.3用户手册。 技术报告NOTTCS-TR-96； 2，诺丁汉大学计算机科学系，1996年8月。 谷歌学者 13 S.Kaes。 多态编程语言中的参数重载。 在BSOP’88：欧洲编程研讨会南希，法国，纽约，1988年。 斯普林格·弗拉格。 计算机科学讲义，300。 谷歌学者 数字图书馆 14 K.L#流量。 多态类型推断和抽象数据类型。 纽约大学博士论文，1992年7月。 谷歌学者 15 K.L#流量。 具有存在类型的类型类。 函数编程杂志，6（3）：485-5171996年5月， 谷歌学者 交叉引用 16 K.L#iufer和：M’Odersky。 多态类型推理和抽象数据类型。 A#CM事务处理。 《编程语言和系统的行动》，16（5）“1411-14301994年9月。 谷歌学者 数字图书馆 17 J、 Launchbury和S.P.Jones。 惰性功能状态线程。 在1994年6月于佛罗里达州奥兰多举行的编程语言会议Desi#nand:实施： 谷歌学者 数字图书馆 18 S.Liang、P.Huak、M.Jo#、Monad变形金刚和模块化口译员。 1995年1月，加利福尼亚州旧金山市，Conferenee记录POPL'95:#nd A6'M S1GPLAN-SIGACT编程语言原理研讨会。 谷歌学者 数字图书馆 19 R.Milner，编程中的类型多态性理论。 计算机杂志； er与系统科学。 英国国家科学院，17（3），1978年。 谷歌学者 20 R.Milner、M'Softe和R.Harper。 标准ML的定义。MITPress，1990年。 谷歌学者 数字图书馆 21 J.C.Mitchell和G.D.Plotkin。 抽象类型具有存在类型。 编程语言和系统的CM汇刊，10（3）：470-5021988年7月。 谷歌学者 数字图书馆 22 M.Odersky和K.L#ufer。 使类型注释发挥作用。1996年1月，佛罗里达州圣彼得堡海滩，第54“67页，POPL’96:23 A CM SIGPLAN-SIGA CT编程语言原理研讨会会议记录。 ACM压力。 谷歌学者 数字图书馆 23 N.佩里。 实用函数的实现#：。 民族编程语言。 1991年，Imperial College博士论文。 谷歌学者 24 J.Peterson和K.Hammond（编辑）。， 编程语言Haskell报告，一种非严格的纯函数语言（1.0版）。 研究报告YALEU/DCS/RR-1106，耶鲁大学计算机科学系，1996年5月。 谷歌学者 25 S.Peyton Jones。 函数式编程语言的实现。 普伦蒂斯·霍尔，1987年。 谷歌学者 数字图书馆 26 F.Pfenning，关于部分多态性类型重建的不确定性。 基础信息学，19（1，2）：185-1993。 谷歌学者 数字图书馆 27 B’C.Pierce和D.N.Turner。 面向对象编程的简单类型理论基础。 函数编程杂志，4（2）：207-2471994年4月：。。。 谷歌学者 交叉引用 28 D类； 编程对象：withML，ART:ML的一个扩展，具有抽象和记录类型。 M.Hagiya和J.C.Mitchell编辑，《计算机软件的理论方面》，LNCS第789卷，第321-346页。 Springer-Verlag，1994年4月。 谷歌学者 数字图书馆 29 J.雷诺兹。 走向类型结构理论。 1974年在纽约举行的巴黎编程座谈会上。 斯普林格·弗拉格。 计算机科学课堂讲稿，19。 谷歌学者 数字图书馆 30 J.罗宾逊。 一种基于解析原理的面向机器的逻辑。 计算机协会杂志，1965年12月。 谷歌学者 数字图书馆 31 G.L.Steele Jr.通过创作单子来构建口译员。 在POPL’94会议记录中：elst ACM SIGPLAN-IGACT编程语言原理研讨会，第472-492页，俄勒冈州波特兰，1994年1月# 谷歌学者 数字图书馆 32 P.Wadler。 函数式编程的本质（受邀演讲）。 第十九届CM SIGPLAN会议记录。 SIGA CT编程语言原理研讨会，第1-14页，1992年1月。。。 谷歌学者 数字图书馆 33 P.Wadler和S.Blott。 《如何使特殊多态性变得不那么特殊》，1989年1月第16届CM编程语言原理研讨会论文集，第60-76页。 谷歌学者 数字图书馆 34 J.B.威尔斯。 第九届IEEE计算机科学逻辑年会，第176-185页，法国巴黎，1994年7月。 谷歌学者 交叉引用
建议
一级mixin模的类型推理、主类型和let多态 第十届ACM SIGPLAN功能编程国际会议记录 A类 mixin模块 是一种编程抽象，它同时泛化λ-抽象、记录和相互递归定义。 虽然已经开发了各种mixin模块类型的系统，但还没有人进行过研究 主要打字员 或者。。。 一级mixin模的类型推理、主类型和let多态 ICFP’05：第十届ACM SIGPLAN功能编程国际会议记录 A类 mixin模块 是一种编程抽象，它同时泛化λ-抽象、记录和相互递归定义。 虽然已经开发了各种mixin模块类型的系统，但还没有人进行过研究 主要打字员 或者。。。
