×

找到11个文档(结果1-11)

我左边的小丑,右边的小丑(珍珠),剖析数据结构。 (英语) Zbl 1295.68161号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2008年1月7日至12日,美国加利福尼亚州旧金山,POPL'08。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-689-9)。287-295 (2008).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用多核:Haskell中的嵌套数据并行。 (英语) Zbl 1248.68134号

Hariharan,Ramesh(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2008),2008年12月9日至11日,印度班加罗尔。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-08-8)。LIPIcs–莱布尼茨国际信息学论文集2,383-414,仅电子版(2008年)。
MSC公司:68甲18 68甲19 68宽10
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

将Haskell\(_\#\)程序转换为Petri网。 (英语) 兹比尔1027.68518

Palma,JoséM.L.M.(编辑)等人,《计算科学的高性能计算——VECPAR 2002》。第五届国际会议,葡萄牙波尔图,2002年6月26-28日。精选论文和受邀演讲。柏林:斯普林格。莱克特。注释计算。科学。2565, 635-649 (2003).
MSC公司:68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 链接

一个用于并行约束语言Flat GHC的纯元解释器。 (英语) Zbl 1012.68502号

安东尼斯·卡卡斯(Antonis C.)等人,《计算逻辑:逻辑编程及其以外》。纪念罗伯特·A·科瓦尔斯基的文章。第1部分:。柏林:斯普林格。莱克特。注释计算。科学。2407, 138-161 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

Haskell中的事件,以及如何实现它们。 (英语) Zbl 1323.68152号

第六届ACM SIGPLAN功能编程国际会议论文集,ICFP'01,意大利佛罗伦萨,2001年9月3日至5日。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-415-0)。ACM SIGPLAN通知36,第10号,157-168(2001)。
MSC公司:68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部

派生类型类。 (英语) Zbl 1262.68028号

Graham Hutton(编辑),2000年ACM SIGPLAN Haskell研讨会(PLI 2000卫星活动),加拿大蒙特利尔,2000年9月17日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记41,第1期,5-35页(2001年)。
MSC公司:68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段