Sivaramakrishnan,K.C。;蒂姆·哈里斯;西蒙·马洛;西蒙·佩顿·琼斯 Haskell的可组合调度程序激活。 (英语) Zbl 1420.68057号 J.功能。程序。 26,论文编号e9,39 p.(2016).MSC公司:68N20型 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Sivaramakrishnan}等人,J.Funct。程序。26,论文编号e9,39 p.(2016;Zbl 1420.68057) 全文: 内政部
赤马森田 通往最佳序列的捷径。 (英语) 兹比尔1251.68072 新一代计算。 29,第1期,31-59(2011).MSC公司:68甲18 68甲19 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Morihata},新一代计算。29、第1号、第31-59号(2011;Zbl 1251.68072) 全文: 内政部
弗里茨·亨利恩;肯·弗里斯·拉森 具有基于判别的连接和符号笛卡尔积的通用多集编程。 (英语) Zbl 1232.68028号 高-订购符号。计算。 23,第3期,337-370(2010).MSC公司:68甲19 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}和\textit{K.F.Larsen},高-订购符号。计算。23,第3号,337--370(2010;Zbl 1232.68028) 全文: 内政部
康纳·麦克布莱德 我左边的小丑,右边的小丑(珍珠),剖析数据结构。 (英语) Zbl 1295.68161号 第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2008年1月7日至12日,美国加利福尼亚州旧金山,POPL'08。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-689-9)。287-295 (2008).MSC公司:68问题65 68甲18 68甲19 68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.McBride},载:第35届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集,POPL'08,美国加利福尼亚州旧金山,2008年1月7日至12日。纽约州纽约市:计算机协会(ACM)。287--295(2008年;Zbl 1295.68161) 全文: 内政部
西蒙·佩顿·琼斯;罗马莱斯钦斯基;加布里埃尔·凯勒;Manuel M.T.查克拉瓦蒂。 利用多核: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格式引用 \textit{S.Peyton Jones}等人,LIPIcs——莱布尼茨国际程序。通知。2383-414(2008年;Zbl 1248.68134) 全文: 内政部 链接
尼尔斯·埃尔曼瑞奇;克里斯蒂安·伦戈尔 并行程序逐步优化的成本。 (英语) Zbl 1112.68027号 计算。语言系统。结构。 33,编号3-4,134-167(2007).MSC公司:68甲19 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Ellmenreich}和\textit{C.Lengauer},计算。语言系统。结构。33,编号3--4,134-167(2007;Zbl 1112.68027) 全文: 内政部
小de Carvalho Francisco Heron;拉斐尔·杜埃尔·林斯;利马,里卡多·马萨·费雷拉 将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格式引用 \textit{F.H.de Carvalho Junior}等人,Lect。注释计算。科学。2565、635--649(2003年;Zbl 1027.68518) 全文: 链接
Kazunori上田 一个用于并行约束语言Flat GHC的纯元解释器。 (英语) Zbl 1012.68502号 安东尼斯·卡卡斯(Antonis C.)等人,《计算逻辑:逻辑编程及其以外》。纪念罗伯特·A·科瓦尔斯基的文章。第1部分:。柏林:斯普林格。莱克特。注释计算。科学。2407, 138-161 (2002).MSC公司:68N17号 第68页第15页 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.Ueda},莱克特。注释计算。科学。2407,138--161(2002;Zbl 1012.68502) 全文: 链接
米歇尔·布格列西;圣地亚哥·M·佩里卡斯·吉尔森。 变量对象类型的类型推断。 (英语) Zbl 1012.68046号 Inf.计算。 177,第1期,2-27(2002).MSC公司:68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{S.M.PericáS-Geertsen},Inf.Comput。177,编号1,2--27(2002;Zbl 1012.68046) 全文: 内政部 链接
乔治·罗素 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格式引用 \textit{G.Russell},in:第六届ACM SIGPLAN函数式编程国际会议论文集,ICFP'01,意大利佛罗伦萨,2001年9月3--5日。纽约州纽约市:计算机协会(ACM)。157-168(2001年;兹bl 1323.68152) 全文: 内政部
拉尔夫·欣泽;西蒙·佩顿·琼斯 派生类型类。 (英语) 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格式引用 \textit{R.Hinze}和\textit{S.P.Jones},电子。注释Theor。计算。科学。41,第1号,第5--35号(2001;Zbl 1262.68028) 全文: 内政部