1 H.巴伦德雷格特。 广义类型系统简介。 函数编程杂志，第1卷，第2部分，1991年。 谷歌学者 
交叉引用 
2 V.Breazu-Tannen、T.Coquand、C.A.Gunter和A.Scedrov。 继承和胁迫。 在{EEE计算机科学逻辑研讨会上，1989年。 谷歌学者 数字图书馆 
三。 K.Chen、P.Hudak和M.Odersky。 参数类型类（扩展抽象）。 1992年6月在加利福尼亚州旧金山举行的关于LISP和函数编程的CM会议。 谷歌学者 数字图书馆 4 L.Damas和R.Milner。 函数程序的主要类型方案，1982年第八届CM编程语言原理年度研讨会。 谷歌学者 数字图书馆 5 P.Hudak和J.Fasel。 对哈斯克尔的温柔介绍。 CM SIGPLAN通知，1992年5月27日、5日。 谷歌学者 数字图书馆 6 P.Hudak、S.L.Peyton Jones和P.Wadler（编辑）。 关于编程语言Haskell 1.2版的报告。 CM SIGPLAN通知，1992年5月27日、5日。 谷歌学者 数字图书馆 7 M.P.琼斯。 限定类型理论。 在欧洲规划研讨会上。 Springer Verlag LNCS 5821992年。 谷歌学者 数字图书馆 8 M.P.琼斯。 合格类型：理论与实践。 D.Phil论文。 牛津大学计算实验室编程研究小组。 1992年7月。 谷歌学者 数字图书馆 9 M.P.琼斯。 用构造函数类编程（初步总结）。 1992年7月，苏格兰艾尔，第五届格拉斯哥函数编程年度研讨会会议记录草稿。 谷歌学者 数字图书馆 10 E.莫吉。 计算lambda-calculus和monad。 1989年6月，加利福尼亚州阿西洛马，IEEE计算机科学逻辑研讨会。 谷歌学者 数字图书馆 11 J.A.罗宾逊。 基于解析原理的面向机器的逻辑。 《美国医学杂志》，1965年第12期。 谷歌学者 数字图书馆 12 M.斯皮维。 例外的功能理论。 计算机程序设计科学，14（1），1990年6月。 谷歌学者 数字图书馆 13 P.Wadler和S.Blott。 如何减少即席多态性。 1989年1月，在得克萨斯州奥斯汀举行的第16届CM年度编程语言原理研讨会上。 谷歌学者 数字图书馆 14 P.Wadler。 理解单子。 关于LISP和函数编程的CM会议，法国尼斯，1990年6月。 谷歌学者 数字图书馆 15 P.Wadler。 函数式编程的本质。 1992年1月，在新墨西哥州圣达菲举行的第19届编程语言原则年度研讨会上。 谷歌学者 数字图书馆
建议
涉及类型构造函数类的自由定理：函数pearl 2009年ICFP 自由定理是一种魅力，它允许仅从程序的（多态）类型中导出有关程序的有用语句。 我们展示了如何不仅从普通类型上的多态性中，而且从类型上的多多态性中获得这样的定理。。。 涉及类型构造函数类的自由定理：函数珍珠 ICFP’09：第14届ACM SIGPLAN功能编程国际会议记录 自由定理是一种魅力，它允许仅从程序的（多态）类型中导出有关程序的有用语句。 我们展示了如何不仅从普通类型上的多态性中，而且从类型上的多多态性中获得这样的定理。。。
评论
