拉尔夫·欣泽;尼古拉斯·吴 统一结构化递归方案。扩展研究。 (英语) Zbl 1420.68039号 J.功能。程序。 26,论文编号e1,第49页(2016).MSC公司:68甲18 18个C20 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze}和\textit{N.Wu},J.Funct。程序。26,论文编号e1,49 p.(2016;Zbl 1420.68039) 全文: 内政部
井上,六月;瓦利德·塔哈 关于多阶段程序的推理。 (英语) Zbl 1420.68040号 J.功能。程序。 26,论文编号e22,53 p.(2016).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Inoue}和\textit{W.Taha},J.Funct。程序。26,论文编号e22,53 p.(2016;Zbl 1420.68040) 全文: 内政部
诺姆·齐尔伯格 线性lambda项作为根三价映射的不变量。 (英语) Zbl 1420.68050号 J.功能。程序。 26,论文编号e21,20 p.(2016).MSC公司:68甲18 03B40型 03G30型 2016年1月5日 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zeilberger},J.Funct。程序。26,论文编号e21,20 p.(2016;Zbl 1420.68050) 全文: 内政部 arXiv公司
德雷克·德雷尔(编辑);希兰,玛丽(编辑) 社论:2014年ICFP专刊。 (英语) Zbl 1420.68010号 J.功能。程序。 26,论文编号e20,3 p.(2016).MSC公司:68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Dreyer}(编辑)和\textit{M.Sheeran}(主编),J.Funct。程序。26,论文编号e20,3 p.(2016;Zbl 1420.68010) 全文: 内政部
卡洛·安吉利;爱德华·莫尔豪斯;丹尼尔·李卡塔(Daniel R.Licata)。;罗伯特·哈珀 同源斑块理论。 (英语) Zbl 1420.68060号 J.功能。程序。 26,论文编号e18,45 p.(2016).MSC公司:68号30 03B15号机组 03G30型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{C.Angiuli}等人,J.Funct。程序。26,论文编号e18,45 p.(2016;Zbl 1420.68060) 全文: 内政部
杰斯珀·考克斯;多米尼克·德夫里塞;弗兰克·皮森斯 消除无K的依赖模式匹配。 (英语) Zbl 1419.68037号 J.功能。程序。 26,论文编号e16,40 p.(2016).MSC公司:68甲18 03B15号机组 03G30型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{J.Cockx}等人,J.Funct。程序。26,论文编号e16,40 p.(2016;Zbl 1419.68037) 全文: 内政部
费利佩·巴尼亚多斯·施沃特;罗纳德·加西亚;埃里克·坦特 渐变型和效果系统。 (英语) Zbl 1420.68033号 J.功能。程序。 26,论文编号e19,66 p.(2016).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Bañados Schwerter}等人,J.Funct。程序。26,论文编号e19,66 p.(2016;Zbl 1420.68033) 全文: 内政部
约阿希姆·布雷特纳;理查德·艾森伯格。;西蒙·佩顿·琼斯;斯蒂芬妮·威里奇 Haskell的安全零成本胁迫。 (英语) Zbl 1420.68035号 J.功能。程序。 26,论文编号e15,79 p.(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Breitner}等人,J.Funct。程序。26,论文编号e15,79 p.(2016;Zbl 1420.68035) 全文: 内政部
迈克尔·科迪什(编辑);埃希罗·苏米(编辑) FLOPS 2014特别章节前言。 (英语) Zbl 1420.68007号 J.功能。程序。 26,论文编号e14,第2页(2016年).MSC公司:68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}(编辑)和textit{E.Sumii}(主编),J.Funct。程序。26,论文编号e14,2 p.(2016;Zbl 1420.68007) 全文: 内政部
保罗·斯坦西弗;米切尔·旺德 罗密欧:一个更灵活的绑定安全编程系统。 (英语) Zbl 1420.68044号 J.功能。程序。 26,论文编号e13,52 p.(2016).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Stansifer}和\textit{M.Wand},J.Funct。程序。26,论文编号e13,52 p.(2016;Zbl 1420.68044) 全文: 内政部
帕里斯(Pawe Parys) lambda-项转换数字的特征。 (英语) Zbl 1420.68042号 J.功能。程序。 26,论文编号e12,36 p.(2016).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Parys},J.Funct。程序。26,论文编号e12,36 p.(2016;Zbl 1420.68042) 全文: 内政部
阿卡尔(Umut A.Acar)。;亚瑟·查古埃罗;雷尼,迈克 在隐式并行语言中控制粒度的Oracle-guided调度。 (英语) Zbl 1420.68058号 J.功能。程序。 26,论文编号e23,40 p.(2016).MSC公司:68号30 68甲15 68甲18 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.A.Acar}等人,J.Funct。程序。26,论文编号e23,40 p.(2016;Zbl 1420.68058) 全文: 内政部
泽维尔·克莱尔 OCaml-Java:作为OCaml编译器目标的Java虚拟机。 (英语) Zbl 1420.68054号 J.功能。程序。 26,论文编号e7,第42页(2016).MSC公司:68N20型 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{X.Clerc},J.Funct。程序。26,论文编号e7,42 p.(2016;Zbl 1420.68054) 全文: 内政部
迪特尔,M。;霍斯特梅耶,T。;罗根。;J·伯特霍尔德。 伊甸园的骨架组成与稳定的工艺系统。 (英语) Zbl 1420.68037号 J.功能。程序。 26,论文编号e11,40 p.(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Dieterle}等人,J.Funct。程序。26,论文编号e11,40 p.(2016;Zbl 1420.68037) 全文: 内政部
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) 全文: 内政部
罗伯特·斯图尔特;帕特里克·梅尔;菲尔·特林德 可扩展函数计算的透明容错。 (英语) Zbl 1420.68026号 J.功能。程序。 26,论文编号e5,42 p.(2016).MSC公司:68米15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Stewart}等人,J.Funct。程序。26,论文编号e5,42 p.(2016;Zbl 1420.68026) 全文: 内政部
博·乔尔·斯文森;Ryan R.牛顿。;玛丽·希兰 一种用于GPU上分层数据并行设计空间探索的语言。 (英语) Zbl 1420.68046号 J.功能。程序。 26,论文编号e6,第53页(2016).MSC公司:68甲18 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{B.J.Svensson}等人,J.Funct。程序。26,论文编号e6,53 p.(2016;Zbl 1420.68046) 全文: 内政部
阿伦·斯塔姆;傅鹏 总类型理论中λ编码的效率。 (英语) Zbl 1420.68045号 J.功能。程序。 26,论文编号e3,31 p.(2016).MSC公司:68甲18 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump}和\textit{P.Fu},J.Funct。程序。26,论文编号e3,31 p.(2016;Zbl 1420.68045) 全文: 内政部
安德烈亚斯·亚贝尔;碧姬·品特卡 具有共同模式和大小类型的功能完善的递归。 (英语) Zbl 1420.68031号 J.功能。程序。 26,论文编号e2,61 p.(2016).MSC公司:68甲18 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}和\textit{B.Pientka},J.Funct。程序。26,论文编号e2,61 p.(2016;Zbl 1420.68031) 全文: 内政部