摘要
补充材料
}}I.S.Diatchki和M.P.Jones。 强类型内存区：用函数语言对系统级数据结构进行编程。 Haskell'06，第72-83页，美国俄勒冈州波特兰，2006年。 ACM公司。 谷歌学者 
数字图书馆 
}}T.哈尔格伦。 在Haskell中，函数依赖或（草稿）类型作为静态计算中的值很有趣。 程序中。 2001年CS/CE冬季联合会议。 谷歌学者 }}B.Heeren和J.Hage。 类型类指令。 在PADL'05中，第253-267页。 Springer-Verlag，2005年。 谷歌学者 数字图书馆 }}M.P.Jones先生。 限定类型理论。 在B.K.布鲁克纳（B.K.Bruckner）编辑的《92年员工持股计划》（ESOP）第582卷中。 施普林格·弗拉格，英国伦敦，1992年。 谷歌学者 数字图书馆 }}M.P.Jones先生。 合格类型：理论与实践。 剑桥大学出版社，1994年。 谷歌学者 数字图书馆 }}M.P.Jones先生。 具有函数依赖关系的类型类。 《2000年员工持股计划》，第230-244页，英国伦敦，2000年。 斯普林格·弗拉格。 谷歌学者 数字图书馆 }}M.P.Jones和I.S.Diatchki。 功能依赖的语言和程序设计。 在哈斯克尔交响乐团。， 第87-98页，加拿大不列颠哥伦比亚省维多利亚市，2008年。 ACM公司。 谷歌学者 数字图书馆 }}O.Kiselyov和R.Lämmel。 哈斯克尔被忽视的对象系统。 草案； 提交出版； 自2005年9月10日起上线。 谷歌学者 }}O.Kiselyov、R.Lämmel和K.Schupke。 强类型异类集合。 Haskell'04，第96-107页，雪鸟，犹他州，美国，2004年。 ACM出版社。 谷歌学者 数字图书馆 }}D.迈尔。 关系数据库理论。 计算机科学出版社，1983年。 谷歌学者 数字图书馆 }}J.G.Morris。经验报告：使用Hackage为语言设计提供信息。 2010年，美国马里兰州巴尔的摩Haskell’10。 ACM公司。 谷歌学者 数字图书馆 }}M.Neubauer、P.Thiemann、M.Gasbichler和M.Sperber。 函数依赖的函数表示法。 2001年9月，意大利费伦泽Haskell'01。 谷歌学者 }}S.Peyton Jones、M.P.Jones和E.Meijer。 类型类：对设计空间的探索。 1997年6月，荷兰阿姆斯特丹哈斯克尔。 谷歌学者 }}T.Schrijvers、S.Peyton Jones、M.Chakravarty和M.Sulzmann。 使用开放式函数进行类型检查。 在IFCP’08中，第51-62页，加拿大不列颠哥伦比亚省维多利亚市，2008年。 ACM公司。 谷歌学者 数字图书馆 }}J.Shapiro、S.Sridhar和S.Doeririe.BitC（0.11过渡）语言规范。 http://www.bitc-lang.org/docs/bitc/spec.html。 上次访问时间：2010年6月15日。 谷歌学者 }}D.斯坦尼茨。 导出类型签名的类型类。 http://www.haskell.org/pipermail/haskell-cafe/2008-11月/050409.html 2008年11月。 谷歌学者 }}M.Sulzmann、G.J.Duck、S.Peyton Jones和P.J.Stuckey。 通过约束处理规则了解函数依赖性。 JFP，17（1）：83-1292007年。 谷歌学者 数字图书馆 }}W.Swierstra。 数据类型à； 点菜。 JFP，18（04）：423--4362008年。 谷歌学者 数字图书馆 }}D.M.Volpano和G.S.Smith。 关于带有重载的ML可类型性的复杂性。 1991年，美国马萨诸塞州剑桥市，1991年，《1991年联邦公共政策法案》第15-28页。 斯普林格·弗拉格。 谷歌学者 数字图书馆 }}P.Wadler先生。 表达式问题。 http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt , 1998. 谷歌学者 }}P.Wadler和S.Blott。 如何使即席多态性不那么即席。 1989年，美国德克萨斯州奥斯汀，《89年流行音乐》，第60-76页。 ACM。 谷歌学者 数字图书馆
建议
实例链：没有重叠实例的类型类编程 ICFP’10年 类型类在Haskell程序中有着广泛的用途，从简单的操作符重载（例如等式或排序）到用于实现类型安全异类列表或有限子类型的复杂不变量。 不幸的是，许多。。。 类型族与类，类型类与族 Haskell’15：2015年ACM SIGPLAN哈斯克尔研讨会会议记录 类型类和类型族是Haskell编程中的关键要素。 引入类型类是为了处理特殊多态性，尽管随着函数依赖性的引入，它们的使用扩展到了类型级编程。 键入。。。
