安德烈亚斯·罗斯伯格 1ML–核心和模块相结合。 (英语) Zbl 1476.68042号 J.功能。程序。 28,论文编号e22,60 p.(2018).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{A.Rossberg},J.Funct。程序。28,论文编号e22,60 p.(2018;Zbl 1476.68042) 全文: 内政部
拉尔夫·欣泽;克莱尔·马丁 帕贝里的成对分类网络被揭示。 (英语) 兹比尔1476.68069 J.功能。程序。 28,论文编号e21,14 p.(2018).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze}和\textit{C.Martin},J.Funct。程序。28,论文编号e21,14 p.(2018;Zbl 1476.68069) 全文: 内政部
拉尔夫·欣泽 建造2-3棵树。 (英语) Zbl 1476.68067号 J.功能。程序。 28,论文编号e19,21 p.(2018).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。28,论文编号e19,21 p.(2018;Zbl 1476.68067) 全文: 内政部
拉尔夫·荣格;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 从头开始的Iris:高阶并发分离逻辑的模块化基础。 (英语) Zbl 1476.68062号 J.功能。程序。 28,论文编号e20,73 p.(2018).MSC公司:68号30 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Jung}等人,J.Funct。程序。28,论文编号e20,73 p.(2018;Zbl 1476.68062) 全文: 内政部
托马斯·吉尔雷;迈克尔·D·亚当斯。;可能吧,马修 抽象分配作为控制流分析中多元方差的统一方法。 (英语) Zbl 1476.68054号 J.功能。程序。 28,论文编号e18,46 p.(2018).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Gilray}等人,J.Funct。程序。28,论文编号e18,46 p.(2018;Zbl 1476.68054) 全文: 内政部
陈盛;马丁·埃尔维格 系统识别和交流类型错误。 (英语) Zbl 1476.68050号 J.功能。程序。 28,论文编号e2,第48页(2018).MSC公司:68甲18 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}和\textit{M.Erwig},J.Funct。程序。28,论文编号e2,48 p.(2018;Zbl 1476.68050) 全文: 内政部
约阿希姆·布雷特纳 Launchbury的自然语义对于惰性评估的充分性。 (英语) Zbl 1478.68137号 J.功能。程序。 28,论文编号e1,20 p.(2018).MSC公司:68问题55 68甲18 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Breitner},J.Funct。程序。28,论文编号e1,20 p.(2018;Zbl 1478.68137) 全文: 内政部
阿米尔·谢赫哈;穆罕默德·达什蒂;科赫,克里斯托夫 查询引擎中基于推和基于拉的循环融合。 (英语) Zbl 1476.68074号 J.功能。程序。 28,论文编号e10,45 p.(2018).MSC公司:第68页,共15页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Shaikhha}等人,J.Funct。程序。28,论文编号e10,45 p.(2018;Zbl 1476.68074) 全文: 内政部 arXiv公司
詹姆斯·切尼(编辑);托尔斯滕·格罗斯特(编辑) 编辑:大数据编程语言专刊。 (英语) Zbl 1475.00033号 J.功能。程序。 28,论文编号e8,第2页(2018年).MSC公司:00B15号机组 68-06 68甲15 第68页,共15页 68T09号 PDF格式BibTeX公司 XML格式引用 \textit{J.切尼}(编辑)和textit{T.格罗斯特}(主编),J.Funct。程序。28,论文编号e8,2 p.(2018;Zbl 1475.00033) 全文: 内政部
弗雷德里克·布兰基 基于大小的高阶重写终止。 (英语) Zbl 1476.68048号 J.功能。程序。 28,论文编号e11,75 p.(2018).MSC公司:68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui},J.Funct。程序。28,论文编号e11,75 p.(2018;Zbl 1476.68048) 全文: 内政部 arXiv公司
加布里埃尔·凯勒(编辑);弗里茨·亨利恩(编辑) 并行和并发函数编程专题编辑。 (英语) Zbl 1475.00057号 J.功能。程序。 28,论文编号e6,第2页(2018年).MSC公司:00B15号机组 68-06 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Keller}(编辑)和textit{F.Henglein}(主编),J.Funct。程序。28,论文编号e6,第2页(2018年;Zbl 1475.00057) 全文: 内政部
剑,卡梅隆;阿穆尔·萨布里;萨姆·托宾·霍施塔特 作为沟通模式的合同监控策略的扩展说明。 (英语) Zbl 1476.68055号 J.功能。程序。 28,论文编号e4,47 p.(2018).MSC公司:68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Swords}等人,J.Funct。程序。28,论文编号e4,47 p.(2018;Zbl 1476.68055) 全文: 内政部
菲利普·哈勒;希瑟·米勒;穆勒,诺曼 基于谱系的分布式计算的编程模型和基础。 (英语) Zbl 1476.68057号 J.功能。程序。 28,论文编号e7,48 p.(2018).MSC公司:68甲19 68甲18 68T09号 PDF格式BibTeX公司 XML格式引用 \textit{P.Haller}等人,J.Funct。程序。28,论文编号e7,48 p.(2018;Zbl 1476.68057) 全文: 内政部
皮埃尔·埃瓦里斯特·达甘;尼古拉斯·塔巴鲁;埃里克·坦特 依赖互操作性的基础。 (英语) 兹比尔1476.68051 J.功能。程序。 28,论文编号e9,44 p.(2018).MSC公司:68甲18 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.-埃里·达甘德}等人,J.Funct。程序。28,论文编号e9,第44页(2018年;Zbl 1476.68051) 全文: 内政部