尼古拉斯·斯莫尔博内;穆阿·约翰逊;科恩·克莱森;马克西米利安·阿尔盖德 为忙碌的程序员提供快速规范。 (英语) Zbl 1418.68037号 J.功能。程序。 27,论文编号e18,49 p.(2017).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Smallbone}等人,J.Funct。程序。27,论文编号e18,49 p.(2017;Zbl 1418.68037) 全文: 内政部
科恩·克莱森;乔纳斯·杜雷格德;米查·H·帕卡。 生成均匀分布的约束随机数据。 (英语) Zbl 1420.68036号 J.功能。程序。 25,论文编号e8,31 p.(2015).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Claessen}等人,J.Funct。程序。25,论文编号e8,31 p.(2015;Zbl 1420.68036) 全文: 内政部
范德普洛格,阿泽;科恩·克莱森 实用原则FRP:忘记过去,改变未来,FRP现在! (英语) Zbl 1360.68337号 2015年9月1日至3日,加拿大温哥华,ICFP’15,第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3669-7)。302-314 (2015).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.van der Ploeg}和\textit{K.Claessen},载于:第20届ACM SIGPLAN功能编程国际会议论文集,ICFP’15,加拿大温哥华,2015年9月1日至3日。纽约州纽约市:计算机协会(ACM)。302-314(2015;Zbl 1360.68337) 全文: 内政部
Vytiniotis,迪米特里奥斯;西蒙·佩顿·琼斯;科恩·克莱森;丹·罗森 Haskell通过指称语义实现逻辑。 (英语) 兹比尔1301.68085 2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1832-7)。431-442 (2013).MSC公司:68甲18 03B10号机组 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Vytiniotis}等人,在:第40届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集,POPL’13,意大利罗马,2013年1月23日至25日。纽约州纽约市:计算机协会(ACM)。431--442(2013;Zbl 1301.68085) 全文: 内政部
Xu,Dana N。;西蒙·佩顿·琼斯;科恩·克莱森 Haskell的静态契约检查。 (英语) Zbl 1315.68107号 2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-60558-379-2)。41-52 (2009).MSC公司:68号30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Xu}等人,摘自:第36届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'09,佐治亚州萨凡纳,美国,2009年1月18-24日。纽约州纽约市:计算机协会(ACM)。41-52(2009年;Zbl 1315.68107) 全文: 内政部
科恩·克莱森;科林·伦西曼;奥拉夫·奇蒂尔;约翰·休斯;马尔科姆·华莱士 使用QuickCheck和Hat测试和跟踪惰性功能程序。 (英语) Zbl 1278.68059号 Jeuring,Johan(编辑)等人,《高级功能编程》。第四国际学校,AFP 2002,英国牛津,2002年8月19-24日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-40132-6/pbk)。莱克特。注释计算。科学。2638, 59-99 (2003).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Claessen}等人,Lect。注释计算。科学。2638、59-99(2003年;Zbl 1278.68059) 全文: 内政部