摘要
Joachim Breitner、Richard A.Eisenberg、Simon Peyton Jones和Stephanie Weirich。 Haskell的安全零成本胁迫（扩展版），技术报告MS-CIS-14-07，宾夕法尼亚大学，2014年。 谷歌学者 
詹姆斯·切尼和拉尔夫·欣兹。 第一类幻影类型，技术报告，康奈尔大学，2003年。 谷歌学者 Manuel M.T.Chakravarty、Gabriele Keller和Simon Peyton Jones。 相关类型同义词，ICFP，ACM，2005年，第241-253页。 谷歌学者 数字图书馆 
Manuel M.T.Chakravarty、Gabriele Keller、Simon Peyton Jones和Simon Marlow。 与类相关的类型，POPL，ACM，2005年，第1-13页。 谷歌学者 数字图书馆 理查德·艾森伯格（Richard A.Eisenberg）、迪米特里奥斯·维蒂尼奥蒂斯（Dimitrios Vytiniotis）、西蒙·佩顿·琼斯（Simon Peyton Jones）和斯蒂芬妮·魏里奇（Stephanie Weirich）。 具有重叠方程的封闭型族，POPL，ACM，2014年，第671-683页。 谷歌学者 数字图书馆 雅克·加里格。 关于方差、注入性和抽象，OCaml会议，波士顿。， 2013年9月。 谷歌学者 拉尔夫·拉梅尔（Ralf Lämmel）和西蒙·佩顿·琼斯（Simon Peyton Jones）。 用类废弃你的样板：可扩展通用函数，ICFP，2005。 谷歌学者 数字图书馆 西蒙·马洛（编辑）。 Haskell 2010年语言报告，2010年。 谷歌学者 罗宾·米尔纳（Robin Milner）、麦德斯·托夫特（Mads Tofte）、罗伯特·哈珀（Robert Harper）和大卫·麦奎恩（David MacQueen）。 标准ML的定义（修订版），1997年。 谷歌学者 数字图书馆 Simon Peyton Jones和J Launchbury。 作为一级公民的非装箱价值观，FPCA，LNCS，第523卷，1991年，第636-666页。 谷歌学者 数字图书馆 西蒙·佩顿·琼斯（Simon Peyton Jones）、安德鲁·托尔马赫（Andrew Tolmach）和托尼·霍尔（Tony Hoare）。 按规则行事：重写是GHC中的一种实用优化技术，Haskell Workshop，2001年，第203-233页。 谷歌学者 加布里埃尔·谢勒和迪迪埃·雷米。 GADTs meet subtyping，ESOP，2013年，第554-573页。 谷歌学者 数字图书馆 迪米特里奥斯·维蒂尼奥蒂斯（Dimitrios Vytiniotis）、西蒙·佩顿·琼斯（Simon Peyton Jones）和何塞·佩德罗·马加莱斯（JoséPedro Magalháes）。 《等式证明和延迟类型错误：编译器pearl》，ICFP，ACM，2012年，第341-352页。 谷歌学者 数字图书馆 菲利普·沃德勒和斯蒂芬·布洛特。 《如何使特殊多态性减少特殊多态性》，POPL，ACM，1989年，第60-76页。 谷歌学者 数字图书馆 Stephanie Weirich、Dimitrios Vytiniotis、Simon Peyton Jones和Steve Zdancewic。 生成型抽象和类型级计算，POPL，ACM，2011年，第227--240页。 谷歌学者 数字图书馆 布伦特·尤吉、斯蒂芬妮·威里奇、朱利安·克雷汀、西蒙·佩顿·琼斯、迪米特里奥斯·维蒂尼奥蒂斯和何塞·佩德罗·马加莱斯。 《给哈斯克尔升职》，TLDI，ACM，2012年，第53-66页。 谷歌学者 数字图书馆
建议
Haskell的安全零成本胁迫 2014年ICFP 生成类型抽象（存在于Haskell、OCaml和其他语言中）是有助于防止程序员错误的有用概念。 它们用于创建新的类型，这些类型在编译时是不同的，但与一些基础共享一个运行时表示。。。 Haskell中Type-Level Lambdas的类型类实例 TFP 2015：第16届函数式编程趋势国际研讨会修订论文集（第9547卷） Haskell 2010缺乏为具有多个类型参数的类型构造函数创建类型类实例的灵活性。 我们希望使类型构造函数的类型参数的顺序与如何指定类型类实例无关。。。 生成类型抽象和类型级计算 POPL'11:ACM SIGPLAN-SIGACT第38届编程语言原理研讨会会议记录 模块化语言支持生成类型抽象，确保抽象类型与其表示不同，除非在实现内部两者是同义的。 我们表明，这一既定特征与。。。
