张汉良;唐文浩;谢瑞峰;王蒙;胡镇江 契约透镜:通过计算推理双向程序。 (英语) Zbl 07775449号 J.功能。程序。 33,论文编号e10,41 p.(2023).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}等人,J.Funct。程序。33,论文编号e10,41 p.(2023;Zbl 07775449) 全文: 内政部 OA许可证
胡杰森Z.S。;张俊英;碧姬·品特卡 模态依赖型理论的评价归一化。 (英语) Zbl 07775446号 J.功能。程序。 33,论文编号e7,51 p.(2023).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Z.S.Hu}等人,J.Funct。程序。33,论文编号e7,51 p.(2023;Zbl 07775446) 全文: 内政部 OA许可证
悉达哈·巴斯卡;雅各布·格鲁·西蒙森 读/写可分解程序。 (英语) Zbl 07724342号 J.功能。程序。 33,文件编号e5,第50页(2023).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhaskar}和\textit{J.G.Simonsen},J.Funct。程序。33,论文编号e5,50 p.(2023;Zbl 07724342) 全文: 内政部
诺曼·丹纳;丹尼尔·李卡塔(Daniel R.Licata)。 指称语义是函数语言成本递归提取的基础。 (英语) Zbl 07581651号 J.功能。程序。 32,论文编号e8,73 p.(2022).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Danner}和\textit{D.R.Licata},J.Funct。程序。32,文件编号e8,第73页(2022;兹bl 07581651) 全文: 内政部 arXiv公司
瞿伟浩;马可·加博阿迪;迪帕克·加格 功能命令环境中的关系成本分析。 (英语) Zbl 1529.68076号 J.功能。程序。 31,论文编号e27,62 p.(2021).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{W.Qu}等人,J.Funct。程序。31,论文编号e27,62 p.(2021;Zbl 1529.68076) 全文: 内政部 arXiv公司
利亚姆·奥康纳;陈子林;克里斯汀·里兹卡拉;文森特·杰克逊;Amani,西德尼;格温·克莱恩;托比·默里;托马斯·苏厄尔;加布里埃尔·凯勒 Cogent:唯一性类型和认证编译。 (英语) Zbl 1522.68128号 J.功能。程序。 31,论文编号e25,第66页(2021).MSC公司:68甲18 第68页第20页 68N25号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.O'Connor}等人,J.Funct。程序。31,论文编号e25,66 p.(2021;Zbl 1522.68128) 全文: 内政部
纪尧姆·阿拉伊斯;罗伯特·艾奇;詹姆斯·查普曼;康纳·麦克布莱德;詹姆斯·麦金纳 具有绑定的语法的类型和范围安全的宇宙:它们的语义和证明。 (英语) 兹比尔1522.68118 J.功能。程序。 31,论文编号e22,55 p.(2021).MSC公司:68甲18 68甲15 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Allais}等人,J.Funct。程序。31,论文编号e22,55 p.(2021;Zbl 1522.68118) 全文: 内政部 arXiv公司
安德烈亚斯·亚贝尔;杰斯珀·考克斯;多米尼克·德夫里塞;阿明·蒂曼尼;菲利普·沃德勒 莱布尼茨等式在参数上与马丁·洛夫恒等式同构。 (英语) Zbl 1479.03010号 J.功能。程序。 30,论文编号e17,14 p.(2020).MSC公司:03B38型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,J.Funct。程序。30,论文编号e17,14 p.(2020;Zbl 1479.03010) 全文: 内政部
贝尼亚米·阿卡托利;圣菲省格拉汉·伦格兰德;迪莉娅·凯斯纳 严格的打字和分割界限,充分发展。 (英语) Zbl 1482.68077号 J.功能。程序。 30,论文编号e14,101 p.(2020).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}等人,J.Funct。程序。30,论文编号e14,101 p.(2020;Zbl 1482.68077) 全文: 内政部 arXiv公司
安德烈亚斯·亚贝尔;纪尧姆·阿拉伊斯;阿丽亚·哈米尔;碧姬·品特卡;阿尔贝托·莫米利亚诺;史蒂文·施费尔;凯瑟琳·斯塔克 POPLMark重载:通过逻辑关系实现机械化证明。 (英语) Zbl 1442.68257号 J.功能。程序。 29,论文编号e19,43 p.(2019).MSC公司:68伏15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,J.Funct。程序。29,论文编号e19,43 p.(2019;Zbl 1442.68257) 全文: 内政部
阿伦·斯塔姆 相依λ消去的演算。 (英语) 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) 全文: 内政部
菲利普·约翰森·弗雷德;保罗·唐恩;泽纳·M·阿里奥拉。 调用名扩展性和汇流性。 (英语) Zbl 1418.68033号 J.功能。程序。 27,论文编号e12,45 p.(2017).MSC公司:68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Johnson-Freyd}等人,J.Funct。程序。27,论文编号e12,45 p.(2017;Zbl 1418.68033) 全文: 内政部
阿卡尔(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) 全文: 内政部
简·霍夫曼;邵,钟 使用整数和数组进行基于类型的摊销资源分析。 (英语) 兹比尔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.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公司
大卫·阿斯皮纳尔;马丁·霍夫曼;米查尔·科内奇 具有使用方面的类型系统。 (英语) Zbl 1142.68019号 J.功能。程序。 18,第2期,141-178(2008).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人,J.Funct。程序。18,第2号,141--178(2008;Zbl 1142.68019) 全文: 内政部