Jerzy Karczmarczuk 计算机程序的功能区分。 (英语) Zbl 1428.68104号 第三届ACM SIGPLAN功能编程国际会议论文集,ICFP'98,美国马里兰州巴尔的摩,1998年9月26日至29日。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。195-203 (1999).MSC公司:68甲18 65D25个 PDF格式BibTeX公司 XML格式引用 \textit{J.Karczmarczzuk},载:第三届ACM SIGPLAN功能编程国际会议论文集,ICFP'98,美国马里兰州巴尔的摩,1998年9月26日至29日。纽约州纽约市:计算机协会(ACM)。195-203(1999年;Zbl 1428.68104) 全文: 内政部
柯林·泰勒。 核心福吉兹理论。 (英语) Zbl 1428.68116号 第三届ACM SIGPLAN功能编程国际会议论文集,ICFP'98,美国马里兰州巴尔的摩,1998年9月26日至29日。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。75-85 (1999).MSC公司:68甲18 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Taylor},in:第三届ACM SIGPLAN函数编程国际会议论文集,ICFP’98,美国马里兰州巴尔的摩,1998年9月26日至29日。纽约州纽约市:计算机协会(ACM)。75-85(1999年;Zbl 1428.68116) 全文: 内政部
R.埃布纳。;曾格,C。 递归有限元模拟的分布式功能框架。 (英语) Zbl 0938.68573号 并行计算。 25,第7期,813-826(1999).MSC公司:68甲18 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{R.Ebner}和\textit{C.Zenger},并行计算。25,第7号,813--826(1999;Zbl 0938.68573) 全文: 内政部
Atsushi Ohori 多态性的类型定向专门化。 (英语) Zbl 1045.68505号 Inf.计算。 155,编号1-2,64-107(1999).MSC公司:68甲15 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ohori},Inf.计算。155,第1-2-64-107号(1999年;兹bl 1045.68505) 全文: 内政部
安德鲁·莫兰;瑟伦·拉森。;西蒙·佩顿·琼斯 不精确的例外,共同归纳。 (英语) Zbl 0958.68040号 Andrew Gordon(编辑)等人,《HOOTS’99》。语义学中的高阶操作技术。法国巴黎,1999年9月30日和10月1日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。26,20 p.,仅电子版(1999年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Moran}等人,in:HOOTS’99。语义学中的高阶操作技术。法国巴黎,1999年9月30日和10月1日。阿姆斯特丹:爱思唯尔。20页(1999年;Zbl 0958.68040)
卢卡·保里尼;Ronchi Della Rocca,西蒙 Call-by-value可解性。 (英语) Zbl 0958.68061号 西奥。通知。申请。 33,第6期,507-534(1999).MSC公司:2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}和\textit{S.Ronchi Della Rocca},Theor。通知。申请。33,第60507-534号(1999年;兹bl 0958.68061) 全文: 内政部 欧洲DML 链接
托尔斯滕·阿滕柯奇;罗伊斯,伯恩哈德 使用广义归纳类型的lambda项的单数表示。 (英语) 兹比尔0944.03011 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1683453-468页(1999年)。MSC公司:03B40型 18立方厘米 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}和\textit{B.Reuse},Lect。注释计算。科学。1683453-468(1999;Zbl 0944.03011)
凯文·哈蒙德(编辑);格雷格·迈克尔森(编辑) 并行函数编程的研究方向。 (英语) Zbl 0940.68022号 伦敦:斯普林格。xxvi,502页(1999年)。 审核人:L.Brim(布尔诺) MSC公司:68甲18 68-02 68-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Hammond}(编辑)和\textit{G.Michaelson}(编),并行函数编程研究方向。伦敦:Springer(1999;Zbl 0940.68022)
克里斯托夫·埃尔曼(Christoph A.Herrmann)。;克里斯蒂安·伦戈尔 通过转换为嵌套循环来并行化分治。 (英语) Zbl 0948.68228号 J.功能。程序。 9,第3号,279-310(1999).MSC公司:68宽10 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Herrmann}和\textit{C.Lengauer},J.Funct。程序。9,第3号,279--310(1999;Zbl 0948.68228) 全文: 内政部
威尔斯,J.B。 系统F中的可键入性和类型检查是等效的,无法确定。 (英语) Zbl 0932.03017号 Ann.纯粹应用。逻辑 98,编号1-3,111-156(1999).MSC公司:03B40型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Wells},Ann.《纯粹的应用》。逻辑98,编号1--3111-156(1999;Zbl 0932.03017) 全文: 内政部
拉尔夫·欣泽 解释二项式堆。 (英语) 兹伯利0926.68026 J.功能。程序。 9,第1期,93-104(1999).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。9,第1号,93--104(1999;Zbl 0926.68026) 全文: 内政部
哈罗德·博利 通过最小交互扩展实现功能逻辑集成。 (英语) Zbl 0913.68043号 西奥。计算。科学。 212,第1-2号,77-99(1999).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{H.Boley},Theor。计算。科学。212,编号1--2,77-99(1999;Zbl 0913.68043) 全文: 内政部
彼得·佩珀 OPAL、ML、HASKELL和GOFER中的函数编程。(OPAL、ML、HASKELL和GOFER中的功能编程。) (德语) Zbl 0914.68027号 柏林:斯普林格。xiv,296 p.(1999)。 审核人:G.Riedewald(罗斯托克) MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Pepper},OPAL、ML、HASKELL和GOFER中的功能编程。柏林:施普林格(1999年;Zbl 0914.68027)