卡塔兹纳·格里吉尔;皮埃尔·莱斯坎 二进制lambda演算中的计数和生成项。 (英语) Zbl 1419.68039号 J.功能。程序。 25,论文编号e24,25 p.(2015).MSC公司:68甲18 03B40型 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{K.Grygiel}和\textit{P.Lescanne},J.Funct。程序。25,论文编号e24,25 p.(2015;Zbl 1419.68039) 全文: 内政部 arXiv公司
莎朗·柯蒂斯;穆申成 计算最密集段问题的线性时间解。 (英语) Zbl 1420.68239号 J.功能。程序。 25,论文编号e22,32 p.(2015).MSC公司:68周27 68甲18 68第05页 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{S.Curtis}和\textit{S.-C.Mu},J.Funct。程序。25,论文编号e22,32 p.(2015;Zbl 1420.68239) 全文: 内政部
德米特里·特拉泰尔;托比亚斯·尼普科 验证了基于正则表达式导数的单词的MSO决策过程。 (英语) Zbl 1420.68049号 J.功能。程序。 25,论文编号e18,30 p.(2015).MSC公司:68甲18 03B25号 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Traytel}和\textit{T.Nipkow},J.Funct。程序。25,论文编号e18,30 p.(2015;Zbl 1420.68049) 全文: 内政部
丹尼尔·弗里德兰德;米盖尔·帕加诺 具有显式替换的纯类型系统。 (英语) Zbl 1420.68038号 J.功能。程序。 25,论文编号e19,30 p.(2015).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fridlender}和\textit{M.Pagano},J.Funct。程序。25,论文编号e19,30 p.(2015;Zbl 1420.68038) 全文: 内政部
罗伯特·艾奇;帕特里夏·约翰 交错的数据和效果。 (英语) 兹伯利1419.68036 J.功能。程序。 25,论文编号e20,44 p.(2015).MSC公司:68甲18 18立方厘米 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Atkey}和\textit{P.Johann},J.Funct。程序。25,论文编号e20,44 p.(2015;Zbl 1419.68036) 全文: 内政部
简·霍夫曼;邵,钟 使用整数和数组进行基于类型的摊销资源分析。 (英语) Zbl 1420.68068号 J.功能。程序。 25,论文编号e17,35 p.(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoffmann}和\textit{Z.Shao},J.Funct。程序。25,论文编号e17,35 p.(2015;Zbl 1420.68068) 全文: 内政部
帕特里克·巴尔;格雷厄姆·赫顿 正在计算正确的编译器。 (英语) Zbl 1420.68053号 J.功能。程序。 25,论文编号e14,47 p.(2015).MSC公司:68N20型 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Bahr}和\textit{G.Hutton},J.Funct。程序。25,论文编号e14,47 p.(2015;Zbl 1420.68053) 全文: 内政部
维尔·蒂尔隆;塞缪尔·乌西·梅·凯拉;伊索莫特宁,维尔 用Haskell理解初学者的错误。 (英语) Zbl 1420.68048号 J.功能。程序。 25,论文编号e11,30 p.(2015).MSC公司:68甲18 97页40页 PDF格式BibTeX公司 XML格式引用 \textit{V.Tirronen}等人,J.Funct。程序。25,论文编号e11,30 p.(2015;Zbl 1420.68048) 全文: 内政部
杰苏斯·阿兰塞;何塞·迪瓦松 高阶逻辑形式化和Gauss-Jordan算法函数语言的代码生成。 (英语) Zbl 1420.68185号 J.功能。程序。 25,论文编号e9,21 p.(2015).MSC公司:68吨15 65平方英尺 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{J.Divasón},J.Funct。程序。25,论文编号e9,21 p.(2015;Zbl 1420.68185) 全文: 内政部
科恩·克莱森;乔纳斯·杜雷格德;米查·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) 全文: 内政部
Jean-Philippe Bernardy;科恩·克莱森 实用无上下文语言的高效并行和增量解析。 (英语) Zbl 1419.68059号 J.功能。程序。 25,论文编号e10,39 p.(2015).MSC公司:65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Bernardy}和\textit{K.Claessen},J.Funct。程序。25,论文编号e10,39 p.(2015;Zbl 1419.68059) 全文: 内政部
汉斯·乔治·沙顿 可分割伪随机发生器的评估。 (英语) Zbl 1420.68043号 J.功能。程序。 25,论文编号e6,20 p.(2015).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.G.Schaathun},J.Funct。程序。25,论文编号e6,20 p.(2015;Zbl 1420.68043) 全文: 内政部
贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;亚历山大·纳涅夫斯基;维克托·瓦菲亚迪斯 Mtac:Coq中用于类型化策略编程的单子。 (英语) Zbl 1420.68189号 J.功能。程序。 25,论文编号e12,59 p.(2015).MSC公司:68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ziliani}等人,J.Funct。程序。25,论文编号e12,59 p.(2015;Zbl 1420.68189) 全文: 内政部
托尔斯滕·阿滕柯奇;尼尔·加尼;彼得·汉考克;康诺·麦克布莱德;彼得·莫里斯 索引容器。 (英语) Zbl 1420.68032号 J.功能。程序。 25,论文编号e5,41 p.(2015).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}等人,J.Funct。程序。25,论文编号e5,41 p.(2015;Zbl 1420.68032) 全文: 内政部
毛罗·贾斯克利奥夫;罗素·奥康纳 二阶泛函的表示定理。 (英语) Zbl 1420.68041号 J.功能。程序。 25,论文编号e13,36 p.(2015).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaskelioff}和\textit{R.O'Connor},J.Funct。程序。25,论文编号e13,36 p.(2015;Zbl 1420.68041) 全文: 内政部 arXiv公司
理查德·伯德(Richard S.Bird)。 如何混合溪流。 (英语) Zbl 1420.68034号 J.功能。程序。 25,论文编号e4,9 p.(2015).MSC公司:68甲18 97页40页 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird},J.Funct。程序。25,论文编号e4,9 p.(2015;Zbl 1420.68034) 全文: 内政部
维尔·蒂尔隆;伊索莫特宁,维尔 采用认知有效的工作示例格式的教学类型。 (英语) 兹比尔1420.68047 J.功能。程序。 25,论文编号e23,16 p.(2015).MSC公司:68甲18 97页20 PDF格式BibTeX公司 XML格式引用 \textit{V.Tirronen}和\textit{V.Isomöttönen},J.Funct。程序。25,论文编号e23,16 p.(2015;Zbl 1420.68047) 全文: 内政部