丹尼尔·安尼科夫;米克尔·米洛;尼尔森,雅各布·博茨;溅出物,Bas 从Coq中提取功能程序。 (英语) Zbl 07581654号 J.功能。程序。 32,论文编号e11,第60页(2022).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Annenkov}等人,J.Funct。程序。32,论文编号e11,60 p.(2022;Zbl 07581654) 全文: 内政部 arXiv公司
黄雪晶;赵金旭;布鲁诺·C·d·S·奥利维拉。 驯服合并运算符。 (英语) Zbl 1519.68049号 J.功能。程序。 31,论文编号e28,67 p.(2021).MSC公司:68甲18 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}等人,J.Funct。程序。31,论文编号e28,67 p.(2021;Zbl 1519.68049) 全文: 内政部
贝尼亚米·阿卡托利;圣菲省格拉汉·伦格兰德;迪莉娅·凯斯纳 严格的打字和分割界限,充分发展。 (英语) 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公司
杰斯珀·考克斯;安德烈亚斯·亚贝尔 细化依赖(co)模式匹配:没有留下模式。 (英语) Zbl 1442.68025号 J.功能。程序。 30,论文编号e2,43 p.(2020).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Cockx}和\textit{A.Abel},J.Funct。程序。30,论文编号e2,43 p.(2020;Zbl 1442.68025) 全文: 内政部
马科托·哈马纳 如何用二阶计算分析仪SOL证明方程理论的可判定性。 (英语) Zbl 1442.68027号 J.功能。程序。 29,论文编号e20,第53页(2019).MSC公司:68甲18 03B25号 03B40型 03B70号 2005年5月18日 68甲15 68号30 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana},J.Funct。程序。29,论文编号e20,53 p.(2019;Zbl 1442.68027) 全文: 内政部
汤姆·施里杰弗斯;布鲁诺·C·d·S·奥利维拉。;菲利普·沃德勒;科尔·马丁罗西安 COCHIS:稳定且连贯的隐式。 (英语) Zbl 1493.68094号 J.功能。程序。 29,论文编号e3,82 p.(2019).MSC公司:68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,J.Funct。程序。29,论文编号e3,82 p.(2019;Zbl 1493.68094) 全文: 内政部
弗雷德里克·布兰基 基于大小的高阶重写终止。 (英语) 兹比尔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 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 p.(2018;Zbl 1476.68051) 全文: 内政部
贝塔·齐利安尼;索索、马蒂厄 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 p.(2017;Zbl 1418.68185) 全文: 内政部
马修·拉金。;安德鲁·皮特斯(Andrew M.Pitts)。 高阶类型函数编程中带活页夹的归纳定义的上下文等价性。 (英语) Zbl 1300.68017号 J.功能。程序。 23,第6期,658-700(2013).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Lakin}和\textit{A.M.Pitts},J.Funct。程序。23,第6号,658--700(2013;Zbl 1300.68017) 全文: 内政部
碧姬·品特卡 业内人士对LF型重建的看法:你想知道的一切。 (英语) Zbl 1262.68030号 J.功能。程序。 23,第1期,第1-37页(2013年).MSC公司:68甲18 68甲15 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka},J.Funct。程序。23,第1号,1-37(2013;Zbl 1262.68030) 全文: 内政部
松武公园;我是宣城 具有通道局部性的类型安全高阶通道。 (英语) Zbl 1162.68394号 J.功能。程序。 19,第1期,107-142(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Park}和\textit{H.Im},J.Funct。程序。19,第1号,107--142(2009;Zbl 1162.68394) 全文: 内政部
杰弗里·伯恩;丹尼尔·勒梅泰勒 基于全局分析证明编译器优化的正确性:严格性分析的研究。 (英语) Zbl 0854.68018号 J.功能。程序。 6,第1期,75-109(1996).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Burn}和\textit{D.Le Métayer},J.Funct。程序。6,第1号,75--109(1996;Zbl 0854.68018) 全文: 内政部
查尔斯·康塞尔;邱小成 在线和离线部分评估:语义规范和正确性证明。 (英语) Zbl 0846.68062号 J.功能。程序。 第5期,第4期,461-500页(1995年).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Consel}和\textit{S.C.Khoo},J.Funct。程序。5,第4号,461--500(1995;Zbl 0846.68062) 全文: 内政部