诺曼·丹纳;丹尼尔·李卡塔(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 p.(2022;Zbl 07581651) 全文: 内政部 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 1522.68151号 J.功能。程序。 31,论文编号e12,38 p.(2021).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Filinski},J.Funct。程序。31,论文编号e12,38 p.(2021;Zbl 1522.68151) 全文: 内政部
安德烈亚斯·亚贝尔;纪尧姆·阿拉伊斯;Aliya Hameer;碧姬·品特卡;阿尔贝托·莫米利亚诺;史蒂文·施费尔;凯瑟琳·斯塔克 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) 全文: 内政部
阿尔瓦罗·加西亚·佩雷斯;巴勃罗·诺盖拉 全降阶Krivine抽象机KN模拟了锁步中的纯法向降阶:通过相应的微积分进行证明。 (英语) Zbl 1493.68085号 J.功能。程序。 29,论文编号e7,第38页(2019).MSC公司:68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{阿尔·加西亚·佩雷斯}和\textit{P.Nogueira},J.Funct。程序。29,论文编号e7,38 p.(2019;Zbl 1493.68085) 全文: 内政部
乔安·科斯塔·塞科;保罗·费雷拉;雨果·卢伦索 分布式和异构查询的基于功能的本地化。 (英语) 兹比尔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 p.(2017;Zbl 1475.68106) 全文: 内政部
奥哈德·卡玛;普雷特纳,马蒂亚 代数效果和处理程序不需要值限制。 (英语) 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 1311.68044号 J.功能。程序。 22,第3期,225-274(2012).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Greenberg}等人,J.Funct。程序。22,第3225-274号(2012年;兹bl 1311.68044) 全文: 内政部
加文·M·比尔曼。;安德鲁·戈登。;Hriţcu,科特林;大卫·朗沃西 使用SMT解算器的语义子类型。 (英语) Zbl 1248.68131号 J.功能。程序。 22,第1期,31-105(2012).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \文本{G.M.Bierman}等人,J.Funct。程序。22、第1号、第31--105号(2012;Zbl 1248.68131) 全文: 内政部
格奥尔格·奈斯;德雷克·德雷尔;安德烈亚斯·罗斯伯格 非参数参数。 (英语) 兹比尔1262.68026 J.功能。程序。 21,No.4-5,497-562(2011).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Neis}等人,J.Funct。程序。21,第4--5497--562号(2011;Zbl 1262.68026) 全文: 内政部
彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉尔斯·佩斯金;托马斯·里奇;萨卡,苏斯米特;斯特尼萨,洛克 Ott:对工作语义的有效工具支持。 (英语) Zbl 1185.68201号 J.功能。程序。 20,第1期,71-122(2010).MSC公司:68甲18 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Sewell}等人,J.Funct。程序。20,编号1,71-122(2010;Zbl 1185.68201) 全文: 内政部
施温哈默(Jan Schwinghammer) 一元类型包含的一致性。 (英语) Zbl 1178.68331号 J.功能。程序。 第2号第19页,第157-172页(2009年).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Schwinghammer},J.Funct。程序。19,第2号,157--172(2009;Zbl 1178.68331) 全文: 内政部
Benaissa,Zine-El-Abidine公司;丹尼尔·布里奥德;皮埃尔·莱斯坎;乔斯琳·鲁耶·德格利 \(lambda-nu),一种保留强正规化的显式替换演算。 (英语) Zbl 0873.68108号 J.功能。程序。 6,第5期,699-722(1996).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.-E.-A.Benaissa}等人,J.Funct。程序。6,第5号,699--722(1996;Zbl 0873.68108) 全文: 内政部
本杰明·皮尔斯。;戴维·特纳(David N.Turner)。 面向对象编程的简单类型理论基础。 (英语) Zbl 0817.68052号 J.功能。程序。 4,第2期,207-247(1994).MSC公司:68N17号 68甲15 第68季度55 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Pierce}和\textit{D.N.Turner},J.Funct。程序。4,第2号,207--247(1994;Zbl 0817.68052) 全文: 内政部
布鲁斯(Kim B.Bruce)。 一种典型的面向对象编程语言:设计、静态类型和语义。 (英语) Zbl 0817.68037号 J.功能。程序。 4,第2期,127-206(1994).MSC公司:68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Bruce},J.Funct。程序。4,编号2,127--206(1994;Zbl 0817.68037) 全文: 内政部
伊恩·麦基 丁香:一种基于线性逻辑的函数式编程语言。 (英语) Zbl 0817.68042号 J.功能。程序。 4,第4号,395-433(1994).MSC公司:68甲15 03B70号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{I.Mackie},J.Funct(J·芬克特)。程序。4,第4号,395--433(1994;Zbl 0817.68042) 全文: 内政部
皮埃尔·卢伊斯·居里;塞雷塞·哈丁 理论珍珠:然而,这是(lambda+SP)的反例。 (英语) Zbl 0821.03006号 J.功能。程序。 第113-115号第4页(1994年). 审核人:M.W.Bunder(伍伦贡) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}和textit{T.哈丁},J.芬克。程序。4,编号1,113--115(1994;Zbl 0821.03006) 全文: 内政部
哈里·梅森。 程序设计语言中的量词消除和参数多态性。 (英语) Zbl 0816.68027号 J.功能。程序。 2,第2期,213-226(1992).MSC公司:68甲15 03B40型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.G.Mairson},J.Funct。程序。2,第2号,213--226(1992;Zbl 0816.68027) 全文: 内政部
约翰·米切尔(John C.Mitchell)。 具有简单子类型的类型推断。 (英语) Zbl 0941.68541号 J.功能。程序。 1,第3期,245-285(1991).MSC公司:68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell},J.Funct。程序。1,第3号,245--285(1991;Zbl 0941.68541) 全文: 内政部
卢卡·卡德利;朱塞佩·隆戈 Quest的语义基础。 (英语) Zbl 0941.68528号 J.功能。程序。 第1期,第4期,417-458(1991年).MSC公司:68甲15 68甲18 第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{G.Longo},J.Funct。程序。1,第4号,417--458(1991;Zbl 0941.68528) 全文: 内政部