摘要
P.Alexander、D.Barton和C.Kong。 《罗塞塔使用指南》。 堪萨斯大学信息与电信技术中心，地址：2335 Irving Hill Rd，Lawrence，KS。 谷歌学者 
P.Alexander、D.Barton、C.Kong和C.Menon。 罗塞塔吸管。 技术报告，堪萨斯大学，2002年。 谷歌学者 R.Hinze和J.Jeuring，《通用哈斯克尔：实践与理论》，2003年。 谷歌学者 P.Jansson和J.Jeuring.PolyP——一种多类型编程语言扩展。 Conf.记录第24届ACM SIGPLAN-SIGACT交响乐。 《程序设计语言原理》，POPL’97，法国巴黎，1997年1月15日至17日，第470至482页。 ACM出版社，纽约，1997年。 谷歌学者 数字图书馆 
P.Jansson和J.Jeuring，《多元统一》。 函数编程杂志，8（5）：527-5361998。 谷歌学者 数字图书馆 P.Jansson和J.Jeuring。基于术语的多类型编程框架，以及重写应用程序。 在WGP中。 乌得勒支大学，2000年。 UU-CS-2000-19。 谷歌学者 J.Jeuring和P.Jansson。 多类型编程。 J.Launchbury、E.Meijer和T.Sheard，美国华盛顿州奥林匹亚第二国际高级函数编程学校教程文本编辑，1996年8月26日至30日，第1129卷，第68-114页。 施普林格出版社，柏林，1996年。 谷歌学者 数字图书馆 S.P.Jones、M.P.Jones和E.Meijer。 类型类：探索设计空间。 《哈斯克尔研讨会论文集》，阿姆斯特丹，1997年6月。 谷歌学者 E.Komp、G.Kimmell、J.Ward和P.Alexander。 Raskell评估环境。 技术报告，堪萨斯大学信息与电信技术中心，美国堪萨斯州劳伦斯市欧文山路2335号，2003年11月。 谷歌学者 R.Kumar、T.Kropf和K.Schneider。 在HOL环境中集成一阶自动校准器。 M.Archer、J.J.Joyce、K.N.Levit和P.J.Windley主编，《高阶逻辑定理证明及其应用国际研讨会》，第170-176页，加利福尼亚州戴维斯，1991年。 IEEE计算机学会出版社。 谷歌学者 U.Norell和P.Jansson。 haskell的Polytypic编程，2004年。 谷歌学者 交叉引用 
L.C.保尔森。 工作程序员ML，第10章，第397-444页。 剑桥大学出版社，第二版，2000年。 谷歌学者 数字图书馆 G.Sutcliffe和C.Suttner。 TPTP问题库：CNF版本v1.2.1。 自动推理杂志，21（2）：177--2031998。 谷歌学者 数字图书馆 J.Ward和G.Kimmell。 罗塞塔定理证明器。 技术报告，堪萨斯大学信息与电信技术中心，美国堪萨斯州劳伦斯市欧文山路2335号，2003年6月。 谷歌学者
建议
具有更多高阶多态性的类型类 ICFP’02：第七届ACM SIGPLAN函数编程国际会议记录 我们提出了Haskell的类型类系统的扩展，在类型语言中使用lambda抽象。 我们扩展的类型推断依赖于一种新的约束统一过程，称为引导高阶统一。 这个统一过程。。。 使用SugarHaskell实现对布局敏感的语言扩展 哈斯克尔12：2012年哈斯克尔研讨会会议记录 程序员需要方便的语法来编写优雅简洁的程序。 因此，Haskell标准为某些场景提供了语法糖（例如，为一元代码做符号），Haskell编译器的作者为更多场景提供了语法糖。。。
