埃克塞奎尔·里瓦斯;毛罗·贾斯克利奥夫 计算作为幺半群的概念。 (英语) 兹比尔1476.68098 J.功能。程序。 27,论文编号e21,42 p.(2017).MSC公司:2009年第68季度 18A99型 18立方厘米 2005年5月18日 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Rivas}和\textit{M.Jaskelioff},J.Funct。程序。27,论文编号e21,42 p.(2017;Zbl 1476.68098) 全文: 内政部 arXiv公司
格雷厄姆·赫顿;帕特里克·巴尔 编写一个50年的旅程。 (英语) 兹比尔1476.68058 J.功能。程序。 27,论文编号e20,11 p.(2017).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}和\textit{P.Bahr},J.Funct。程序。27,论文编号e20,11 p.(2017;Zbl 1476.68058) 全文: 内政部
新,Max S。;伯克·费舍尔;罗伯特·布鲁斯·芬德勒;杰·麦卡锡 公平枚举组合。 (英语) Zbl 1476.68065号 J.功能。程序。 27,论文编号e19,29 p.(2017).MSC公司:68号30 2015年1月5日 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{M.S.New}等人,J.Funct。程序。27,论文编号e19,29 p.(2017;Zbl 1476.68065) 全文: 内政部
列奥尼达斯·费加拉斯 分布式大数据分析的代数。 (英语) 兹比尔1475.68327 J.功能。程序。 27,论文编号:e27,47 p.(2017).MSC公司:68T09号 08A70号 64岁以下 第68页,共15页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Fegaras},J.Funct。程序。27,论文编号e27,47 p.(2017;Zbl 1475.68327) 全文: 内政部
乔安·科斯塔·塞科;保罗·费雷拉;雨果·卢伦索 分布式和异构查询的基于功能的本地化。 (英语) Zbl 1475.68106号 J.功能。程序。 27,论文编号e26,36 p.(2017).MSC公司:第68页,共15页 第68页第18页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Costa Seco}等人,J.Funct。程序。27,论文编号e26,第36页(2017年;Zbl 1475.68106) 全文: 内政部
帕特里克·舒尔茨;瑞安·威斯内斯基 代数数据集成。 (英语) Zbl 1475.68069号 J.功能。程序。 27,论文编号e24,51 p.(2017).MSC公司:68甲18 18立方厘米 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Schultz}和\textit{R.Wisnesky},J.Funct。程序。27,论文编号e24,51 p.(2017;Zbl 1475.68069) 全文: 内政部 arXiv公司
尼古拉·博塔;帕特里克·詹森;塞萨尔·伊奥内斯库 对政策建议和可避免性计算理论的贡献。 (英语) Zbl 1476.68049号 J.功能。程序。 27,论文编号e23,52 p.(2017).MSC公司:68甲18 03B70号 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{N.Botta}等人,J.Funct。程序。27,论文编号e23,52 p.(2017;Zbl 1476.68049) 全文: 内政部
约根·勃兰特;沃尔夫冈·雷西格;乌尔夫·莱斯 功能科学工作流语言楔形文字的计算语义。 (英语) 兹比尔1476.68038 J.功能。程序。 27,论文编号e22,31 p.(2017).MSC公司:68甲15 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Brandt}等人,J.Funct。程序。27,论文编号e22,31 p.(2017;Zbl 1476.68038) 全文: 内政部
马西耶·皮罗格;萨姆·斯塔顿 通过分配律和左零幺半群用割进行回溯。 (英语) Zbl 1418.68063号 J.功能。程序。 27,论文编号e17,15 p.(2017).MSC公司:68号30 08A70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Piróg}和\textit{S.Staton},J.Funct。程序。27,论文编号e17,15 p.(2017;Zbl 1418.68063) 全文: 内政部
沃特·斯威斯特拉(编辑);彼得·戴比杰(编辑) 编辑:关于依赖类型编程的特刊。 (英语) Zbl 1418.68006号 J.功能。程序。 27,论文编号e15,第2页(2017).MSC公司:68-06 68甲18 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Swierstra}(编辑)和\textit{P.Dybjer}(主编),J.Funct。程序。27,论文编号e15,2 p.(2017;Zbl 1418.68006) 全文: 内政部
阿伦·斯塔姆 相依λ消去的演算。 (英语) Zbl 1418.68038号 J.功能。程序。 27,论文编号e14,41 p.(2017).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump},J.Funct。程序。27,论文编号e14,41 p.(2017;Zbl 1418.68038) 全文: 内政部
塔尔莫乌斯塔卢;尼科洛Veltri 有限性和有理数列,具有建设性。 (英语) Zbl 1418.68069号 J.功能。程序。 27,论文编号e13,20 p.(2017).MSC公司:68号30 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{T.Uustalu}和\textit{N.Veltri},J.Funct。程序。27,论文编号e13,20 p.(2017;Zbl 1418.68069) 全文: 内政部
菲利普·约翰森·弗雷德;保罗·唐恩;泽纳·M·阿里奥拉。 调用名扩展性和汇流性。 (英语) Zbl 1418.68033号 J.功能。程序。 27,论文编号e12,45 p.(2017).MSC公司:68甲18 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Johnson-Freyd}等人,J.Funct。程序。27,论文编号e12,45 p.(2017;Zbl 1418.68033) 全文: 内政部
贝塔·齐利安尼;索索、马蒂厄 CIC新统一器的可理解指南,包括宇宙多态性和重载。 (英语) Zbl 1418.68185号 J.功能。程序。 27,论文编号e10,63 p.(2017).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ziliani}和\textit{M.Sozeau},J.Funct。程序。27,论文编号e10,第63页(2017;兹bl 1418.68185) 全文: 内政部
伊利亚·谢尔盖;Vytiniotis,迪米特里奥斯;西蒙·佩顿·琼斯;约阿希姆·布雷特纳 理论和实践中的模块化、高阶基数分析。 (英语) Zbl 1418.68046号 J.功能。程序。 27,论文编号e11,55 p.(2017).MSC公司:68N20型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{I.Sergey}等人,J.Funct。程序。27,论文编号e11,55 p.(2017;Zbl 1418.68046) 全文: 内政部
皮埃尔·埃瓦里斯特·达甘 装饰品的精髓。 (英语) Zbl 1418.68032号 J.功能。程序。 27,论文编号e9,27 p.(2017).MSC公司:68甲18 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.-E.Dagand},J.Funct。程序。27,论文编号e9,27 p.(2017;Zbl 1418.68032) 全文: 内政部
马西耶·本德考斯基 正规降阶文法。 (英语) Zbl 1418.68111号 J.功能。程序。 27,论文编号e6,31 p.(2017).MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bendkowski},J.Funct。程序。27,论文编号e6,31 p.(2017;Zbl 1418.68111) 全文: 内政部 arXiv公司
奥哈德·卡玛;普雷特纳,马蒂亚 代数效果和处理程序不需要值限制。 (英语) Zbl 1418.68034号 J.功能。程序。 27,论文编号e7,34 p.(2017).MSC公司:68甲18 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Kammar}和\textit{M.Pretnar},J.Funct。程序。27,论文编号e7,34 p.(2017;Zbl 1418.68034) 全文: 内政部 arXiv公司
安德烈亚斯·亚贝尔;斯蒂芬·阿德尔斯伯格;安东·塞泽尔 Agda中的交互式编程–对象和图形用户界面。 (英语) Zbl 1418.68031号 J.功能。程序。 27,论文编号e8,54 p.(2017).MSC公司:68甲18 68吨15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,J.Funct。程序。27,论文编号e8,54 p.(2017;Zbl 1418.68031) 全文: 内政部
高、香山;杰里米·吉本斯 用饰品编程。 (英语) Zbl 1418.68035号 J.功能。程序。 27,论文编号e2,43 p.(2017).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.-S.Ko}和\textit{J.Gibbons},J.Funct。程序。27,论文编号e2,43 p.(2017;Zbl 1418.68035) 全文: 内政部
卢卡·帕多瓦尼 二进制会话的简单库实现。 (英语) Zbl 1418.68036号 J.功能。程序。 27,论文编号e4,42 p.(2017).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Padovani},J.Funct(J·芬克特)。程序。27,论文编号e4,42 p.(2017;Zbl 1418.68036) 全文: 内政部
Hou(Favonia)、Kuen-Bang;尼克·本顿;罗伯特·哈珀 将多态编译为动态类型的正确性。 (英语) Zbl 1420.68056号 J.功能。程序。 27,论文编号e1,24 p.(2017).MSC公司:68N20型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.-B.Hou(Favonia)}等人,J.Funct。程序。27,论文编号e1,24 p.(2017;Zbl 1420.68056) 全文: 内政部
德伊安·斯特凡;大卫·马齐埃尔;约翰·米切尔(John C.Mitchell)。;亚历杭德罗·拉索 存在异常时的灵活动态信息流控制。 (英语) Zbl 1418.68043号 J.功能。程序。 27,论文编号e5,56 p.(2017).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Stefan}等人,J.Funct。程序。27,论文编号e5,56 p.(2017;Zbl 1418.68043) 全文: 内政部 arXiv公司
Nguyín,Phüc c。;Tobin Hochstadt,山姆;戴维·范霍恩 用于合同验证和反驳的高阶符号执行。 (英语) Zbl 1418.68061号 J.功能。程序。 27,论文编号e3,56 p.(2017).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Nguyín}等人,J.Funct。程序。27,论文编号e3,第56页(2017;兹bl 1418.68061) 全文: 内政部 arXiv公司
尼古拉斯·斯莫尔博内;穆阿·约翰逊;科恩·克莱森;马克西米利安·阿尔杰海德 为忙碌的程序员提供快速规范。 (英语) Zbl 1418.68037号 J.功能。程序。 27,论文编号e18,49 p.(2017).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Smallbone}等人,J.Funct。程序。27,论文编号e18,49 p.(2017;Zbl 1418.68037) 全文: 内政部