摘要
迈克尔·勃兰特和弗里茨·亨利恩。 递归类型相等和子类型的共导公理化。 在第三届国际键入Lambda演算和应用会议(TLCA’97)上,法国南希,计算机科学讲稿第1210卷,第63-81页。 施普林格出版社,1997年。]] 谷歌学者 A.I.Baars和S.D.Swierstra。 键入动态键入。 《ACM SIGPLAN函数编程国际会议论文集》(ICFP 2002),第157-166页。 ACM出版社,2002年。]] 谷歌学者 数字图书馆 卡德利。 琥珀色。 在G Cousineau、PL Curien和B Robinet的编辑、组合器和函数编程语言中。 LNCS 242,Springer Verlag,1986年。]] 谷歌学者 数字图书馆 科恩·克莱森和约翰·休斯。 QuickCheck:一个用于Haskell程序随机测试的轻量级工具。 在2000年9月于蒙特利尔举行的ACM SIGPLAN功能编程国际会议(ICFP'00)上,第268-279页。 ACM.]] 谷歌学者 数字图书馆 J.Cheney和R.Hinze。 泛型和动力学的轻量级实现。 《哈斯克尔ACM SIGPLAN研讨会论文集》,第90-104页。 ACM出版社,2002年。]] 谷歌学者 数字图书馆 科恩·克莱森和约翰·休斯。 使用QuickCheck测试单数代码。 《2002年哈斯克尔研讨会论文集》编辑Manuel Chakravarty,匹兹堡,2002年10月。]] 谷歌学者 数字图书馆 戴夫·克拉克和安德烈斯·洛赫。 具体来说,通用Haskell。 《IFIP TC2/WG2.1通用编程工作会议记录》,第21-47页。 Kluwer,B.V.,2003年。]] 谷歌学者 数字图书馆 西蒙·福斯特。 “HAIFA:Haskell应用程序互操作框架体系结构”; 网站,2004年至2005年。 http://www.repton-world.org.uk/mediawiki/index.php/HAIFA_Wiki。 ]] 谷歌学者 拉尔夫·欣泽(Ralf Hinze)。 大众泛指。 《ACM SIGPLAN函数编程国际会议论文集》(ICFP 2004),第236至243页。 ACM出版社,2004年。]] 谷歌学者 数字图书馆 罗伯特·哈珀和格雷格·莫里塞特。 使用内涵类型分析编译多态性。 在第22届ACM SIGPLAN-SIGACT编程语言原理研讨会(POPL 1995)的会议记录中,第130-141页。 ACM出版社,1995年。]] 谷歌学者 数字图书馆 拉尔夫·海因兹和西蒙·佩顿·琼斯。 派生类型类。 《2000年哈斯克尔研讨会论文集》编辑格雷厄姆·赫顿(Graham Hutton),蒙特利尔,技术报告编号NOTTCS-TR-00-1,2000年9月。]] 谷歌学者 RJM休斯。 haskell中的受限数据类型。 埃里克·梅耶尔(Erik Meijer),编辑,《1999年哈斯克尔研讨会论文集》,编号UU-CS-1999-28,技术报告,1999年。 ftp://ftp.cs.uu.nl/pub/RUU/cs/techreps/cs-1999-28.pdf。 ]] 谷歌学者 安德烈斯·洛赫(Andres Löh)、戴夫·克拉克(Dave Clarke)和约翰·杰林(Johan Jeuring)。 《ACM SIGPLAN函数编程国际会议论文集》(ICFP 2003),第141-152页。 ACM出版社,2003年8月25日至29日。]] 谷歌学者 数字图书馆 Jeffrey R.Lewis、John Launchbury、Erik Meijer和Mark B.Shields。 隐式参数:静态类型的动态范围。 在第27届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集(POPL 2000),第108-118页。 ACM出版社,2000年。]] 谷歌学者 数字图书馆 拉尔夫·拉梅尔(Ralf Lämmel)和西蒙·佩顿·琼斯(Simon Peyton Jones)。 放弃样板:一种实用的泛型编程方法。 在2003年1月于新奥尔良举行的ACM SIGPLAN语言设计与实现类型国际研讨会(TLDI’03)上,第26-37页。 ACM.]] 谷歌学者 数字图书馆 拉尔夫·拉梅尔(Ralf Lämmel)和西蒙·佩顿·琼斯(Simon Peyton Jones)。 放弃更多样板:反射、zip和通用类型转换。 在2004年9月于犹他州雪鸟市举行的ACM SIGPLAN功能编程国际会议(ICFP'04)上,第244-255页。 ACM.]] 谷歌学者 数字图书馆 K Zhuo Ming Lu和M Sulzmann。 正则表达式类型之间的子类型的实现。 在Proc-Asian Programming Languages Symposium(APLAS’04),计算机科学讲稿第3302卷,第57-73页。 施普林格出版社,2004年。]] 谷歌学者 交叉引用 本杰明·皮尔斯。 类型和编程语言。 麻省理工学院出版社,2002年。]] 谷歌学者 数字图书馆 T Sheard和SL Peyton Jones。 Haskell的模板元编程。 《2002年哈斯克尔研讨会论文集》编辑Manuel Chakravarty,匹兹堡,2002年10月。]] 谷歌学者 数字图书馆 Konstantinos F.Sagonas、Terrance Swift和David Scott Warren。 一种抽象机器,用于有效计算对基础良好的模型的查询。 J.日志。 程序。, 45(1--3):1--41, 2000.]] 谷歌学者 迪米特里奥斯·维蒂尼奥蒂斯(Dimitrios Vytiniotis)、杰弗里·沃什伯恩(Geoffrey Washburn)和斯蒂芬妮·魏里奇(Stephanie Weirich)。 打开和关闭型机箱。 《ACM SIGPLAN语言设计与实现类型研讨会论文集》(TLDI 2005)。 ACM出版社,2005年1月。]] 谷歌学者 数字图书馆 PL Wadler和S Blott。 如何使即席多态性不那么即席。 在第16届ACM编程语言原理研讨会上,德克萨斯州奥斯汀。 ACM,1989年1月。]] 谷歌学者 数字图书馆 S.魏里奇。 类型安全铸件:(功能珍珠)。 《ACM SIGPLAN函数编程国际会议论文集》(ICFP 2000),第58-67页。 ACM出版社,2000年。]] 谷歌学者 数字图书馆
建议
放弃更多样板:反射、zip和通用类型转换 ICFP’04:第九届ACM SIGPLAN功能编程国际会议记录 编写样板代码是一项艰巨的任务。 泛型编程承诺通过允许程序员为样板代码编写泛型“菜谱”并在许多地方使用该菜谱来缓解这种痛苦。 在之前的工作中,我们介绍了“报废您的。。。 废弃样板:泛型编程的实用设计模式 TLDI’03:2003年ACM SIGPLAN语言设计和实现类型国际研讨会会议记录 我们描述了一种设计模式,用于编写遍历由丰富的交互递归数据类型构建的数据结构的程序。 这样的程序通常有大量“样板”代码,它们只是简单地遍历结构,隐藏了少量“真实”。。。 用类废弃样板:可扩展泛型函数 第十届ACM SIGPLAN功能编程国际会议记录 泛型编程的“报废样板”方法允许程序员编写可以遍历任意数据结构但具有特定类型情况的泛型函数。 然而,最初的方法需要所有类型特定的。。。