伊娃·格拉弗森;安德鲁·赫施(Andrew K.Hirsch)。;法布里齐奥·蒙特西 爱丽丝还是鲍伯编舞中的过程多态性。 (英语) Zbl 07834329号 J.功能。程序。 34,论文编号e1,54 p.(2024).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人,J.Funct。程序。34,论文编号e1,54 p.(2024;Zbl 07834329) 全文: 内政部 OA许可证
格雷厄姆·赫顿 编程语言语义:简单如1、2、3。 (英语) Zbl 07775448号 J.功能。程序。 33,论文编号e9,26 p.(2023).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton},J.Funct(杰·芬克)。程序。33,第e9号文件,第26页(2023;Zbl 07775448) 全文: 内政部 OA许可证
诺曼·丹纳;丹尼尔·李卡塔(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公司
杰里米·西克。;彼得·蒂曼;菲利普·沃德勒 指责和胁迫:第一次再次并肩作战。 (英语) Zbl 1522.68130号 J.功能。程序。 31,论文编号e20,56 p.(2021).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Siek}等人,J.Funct。程序。31,论文编号e20,56 p.(2021;Zbl 1522.68130) 全文: 内政部
巴加夫·什夫库马尔;杰弗里·墨菲;卢卡斯·齐亚雷克 实时MLton:实时功能程序的标准ML运行时。 (英语) 兹比尔1522.68129 J.功能。程序。 31,论文编号e19,51 p.(2021).MSC公司:68甲18 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Shivkumar}等人,J.Funct。程序。31,论文编号e19,51 p.(2021;Zbl 1522.68129) 全文: 内政部
奥列格·基塞利约夫;穆申成;阿穆尔·萨布里 不仅仅是通过方程式。具有可扩展效果的推理。 (英语) 兹比尔1522.68124 J.功能。程序。 31,论文编号e2,42 p.(2021).MSC公司:68甲18 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{O.Kiselyov}等人,J.Funct。程序。31,论文编号e2,42 p.(2021;Zbl 1522.68124) 全文: 内政部
安德烈·菲林斯基 面向证明的程序转换:一种高效正则表达式匹配的函数描述。 (英语) 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) 全文: 内政部
Lau Skorstengaard;多米尼克·德夫里塞;拉尔斯·比克达尔 StkTokens:使用线性功能强制执行包围良好的控制流和堆栈封装。 (英语) Zbl 1522.68164号 J.功能。程序。 31,论文编号e9,75 p.(2021).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Skorstengaard}等人,J.Funct。程序。31,论文编号e9,75 p.(2021;Zbl 1522.68164) 全文: 内政部 arXiv公司
Choi,Kwanghoon公司;张,再见 客户端-服务器模型的RPC计算理论。 (英语) Zbl 1493.68083号 J.功能。程序。 29,论文编号e5,39 p.(2019).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Choi}和\textit{B.-M.Chang},J.Funct。程序。29,论文编号e5,39 p.(2019;Zbl 1493.68083) 全文: 内政部 arXiv公司
加西亚·佩雷斯,阿尔瓦罗;巴勃罗·诺盖拉 全降阶Krivine抽象机KN模拟了锁步中的纯法向降阶:通过相应的微积分进行证明。 (英语) Zbl 1493.68085号 J.功能。程序。 29,论文编号e7,38 p.(2019).MSC公司:68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{阿尔·加西亚·佩雷斯}和\textit{P.Nogueira},J.Funct。程序。29,论文编号e7,38 p.(2019;Zbl 1493.68085) 全文: 内政部
荣格,拉尔夫;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 从头开始的Iris:高阶并发分离逻辑的模块化基础。 (英语) Zbl 1476.68062号 J.功能。程序。 28,论文编号e20,73 p.(2018).MSC公司:68号30 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \文本{R.Jung}等人,J.Funct。程序。28,论文编号e20,73 p.(2018;Zbl 1476.68062) 全文: 内政部
弗雷德里克·布兰基 基于大小的高阶重写终止。 (英语) Zbl 1476.68048号 J.功能。程序。 28,论文编号e11,75 p.(2018).MSC公司:68甲18 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui},J.Funct。程序。28,论文编号e11,75 p.(2018;Zbl 1476.68048) 全文: 内政部 arXiv公司
剑,卡梅隆;阿穆尔·萨布里;萨姆·托宾·霍施塔特 作为沟通模式的合同监控策略的扩展说明。 (英语) Zbl 1476.68055号 J.功能。程序。 28,论文编号e4,47 p.(2018).MSC公司:68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Swords}等人,J.Funct。程序。28,论文编号e4,47 p.(2018;Zbl 1476.68055) 全文: 内政部
约根·勃兰特;沃尔夫冈·雷西格;乌尔夫·莱斯 功能科学工作流语言楔形文字的计算语义。 (英语) Zbl 1476.68038号 J.功能。程序。 27,论文编号e22,第31页(2017).MSC公司:68甲15 68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Brandt}等人,J.Funct。程序。27,论文编号e22,31 p.(2017;Zbl 1476.68038) 全文: 内政部
德伊安·斯特凡;大卫·马齐埃尔;约翰·米切尔(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公司
罗伯特·斯图尔特;帕特里克·梅尔;菲尔·特林德 可扩展函数计算的透明容错。 (英语) 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) 全文: 内政部
约尔格恩德鲁利斯;迪米特里·亨德里克斯;雷纳巴克希;格里高·罗什乌 关于流相等的复杂性。 (英语) 兹比尔1297.68050 J.功能。程序。 24,第2-3号,166-217(2014).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,J.Funct。程序。24、编号2--3、166-217(2014;Zbl 1297.68050) 全文: 内政部
马修·拉金。;安德鲁·皮特斯(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) 全文: 内政部
C.E.马丁。;南卡罗来纳州柯蒂斯。 分形图像压缩。 (英语) 兹比尔1297.68052 J.功能。程序。 23,第6号,629-657(2013).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Martin}和\textit{S.A.Curtis},J.Funct。程序。23,第6号,629--657(2013;Zbl 1297.68052) 全文: 内政部
弗里茨·亨利恩 线性时间内排序和分区的通用自上而下判别法。 (英语) Zbl 1311.68046号 J.功能。程序。 22,第3期,300-374(2012).MSC公司:68甲18 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein},J.Funct(简写:F.亨利恩)。程序。22,第3号,300-374(2012;Zbl 1311.68046) 全文: 内政部
布鲁诺·C·D·S·奥利维拉。;汤姆·施里弗斯;威廉·库克。 MRI:关于增量编程中干扰的模块化推理。 (英语) Zbl 1267.68090号 J.功能。程序。 22,第6期,797-852(2012).MSC公司:68甲19 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.C.D.S.Oliveira}等人,J.Funct。程序。22,第6号,797--852(2012;Zbl 1267.68090) 全文: 内政部
尼古拉斯·波伊拉德;弗朗索瓦·波蒂埃 使用活页夹对语法进行统一处理。 (英语) Zbl 1252.68087号 J.功能。程序。 22,编号4-5,614-704(2012).MSC公司:68第05页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Pouillard}和\textit{F.Pottier},J.Funct。程序。22、编号4--5、614--704(2012;Zbl 1252.68087) 全文: 内政部
瑞安·库佩普 强化宏。 (英语) Zbl 1252.68064号 J.功能。程序。 22,No.4-5,439-476(2012).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \文本{R.Culpepper},J.Funct。程序。22、编号4--5、439--476(2012;Zbl 1252.68064) 全文: 内政部
拉斯·伯格斯特罗姆;马修·弗莱特;雷尼,迈克;约翰·雷皮;亚当·肖 懒惰的树分裂。 (英语) Zbl 1252.68061号 J.功能。程序。 22,No.4-5,382-438(2012).MSC公司:68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bergstrom}等人,J.Funct。程序。22、编号4--5、382--438(2012;Zbl 1252.68061) 全文: 内政部
加文·M·比尔曼。;安德鲁·戈登。;Hriţcu,科特林;大卫·朗沃西 使用SMT解算器的语义子类型。 (英语) Zbl 1248.68131号 J.功能。程序。 2012年第1期第22页,第31-105页.MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Bierman}等人,J.Funct。程序。22、第1号、第31--105号(2012;Zbl 1248.68131) 全文: 内政部
刘海;埃里克·程;保罗·哈达克 因果交换箭头。 (英语) 兹比尔1263.68032 J.功能。程序。 21,No.4-5,467-496(2011).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Liu}等人,J.Funct。程序。21,编号4--5,467--496(2011;Zbl 1263.68032) 全文: 内政部
希兰,玛丽 并行前缀网络设计中的功能和动态编程。 (英语) Zbl 1220.68046号 J.功能。程序。 21,第1期,59-114(2011).MSC公司:68甲18 68M10个 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Sheeran},J.Funct。程序。21,第1号,59-114(2011年;兹bl 1220.68046) 全文: 内政部
马修·弗莱特;雷尼,迈克;约翰·雷皮;亚当·肖 Manticore中的隐式线程并行。 (英语) Zbl 1221.68061号 J.功能。程序。 20,编号5-6,537-576(2010).MSC公司:68甲19 68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Fluet}等人,J.Funct。程序。20,编号5--6537--576(2010;Zbl 1221.68061) 全文: 内政部
雅克·卡雷特;奥列格·基塞利约夫;Shan,Chung-Chieh公司 最后,无标记,部分评估:用于简单类型语言的无标记阶段口译员。 (英语) Zbl 1191.68158号 J.功能。程序。 19,第5期,509-543(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人,J.Funct。程序。19,第5号,509--543(2009年;兹bl 1191.68158) 全文: 内政部
斯科特·欧文斯;约翰·雷皮;亚伦·图伦 重新检查正则表达式衍生工具。 (英语) Zbl 1163.68317号 J.功能。程序。 19,第2期,173-190(2009).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Owens}等人,J.Funct。程序。19,第2号,173--190(2009;Zbl 1163.68317) 全文: 内政部
松武公园;我是宣城 具有通道局部性的类型安全高阶通道。 (英语) 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 1155.68354号 J.功能。程序。 18,编号5-6,865-911(2008).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Nanevski}等人,J.Funct。程序。18,编号5--6865--911(2008;Zbl 1155.68354) 全文: 内政部
唐纳利,凯文;马修·弗莱特 事务性事件。 (英语) Zbl 1155.68356号 J.功能。程序。 18,编号5-6,649-706(2008).MSC公司:68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Donnelly}和\textit{M.Fluet},J.Funct。程序。18、编号5--6、649--706(2008;Zbl 1155.68356) 全文: 内政部
格雷厄姆·赫顿;乔尔·赖特 这些持续的中断是什么意思? (英语) Zbl 1129.68410号 J.功能。程序。 第6期第17期第777-792页(2007年).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}和textit{J.Wright},J.Funct。程序。17,第6号,777--792(2007;Zbl 1129.68410) 全文: 内政部
马丁·伯杰;本田、高黑;吉田、Nobuko 命令式高阶函数中混叠的逻辑分析。 (英语) Zbl 1125.68027号 J.功能。程序。 17,No.4-5,473-546(2007).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Berger}等人,J.Funct。程序。17,编号4--5,473--546(2007;Zbl 1125.68027) 全文: 内政部
迪特马尔·加特纳;沃纳·E·克鲁格。 \(pi-\text{RED}^+\):一个用于应用(lambda)演算的交互式编译图约简系统。 (英语) Zbl 0872.68083号 J.功能。程序。 6,第5期,723-756(1996).MSC公司:第68季度第42季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Gärtner}和\textit{W.E.Kluge},J.Funct。程序。6,编号5723-756(1996年;Zbl 0872.68083) 全文: 内政部
杰里米·吉本斯 功能珍珠:第三个同态定理。 (英语) Zbl 0867.68032号 J.功能。程序。 6,第4期,657-665(1996).MSC公司:68页第10页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}、J.Funct。程序。6,第4号,657--665(1996;Zbl 0867.68032) 全文: 内政部
科林·伦西曼;尼古拉斯·Röjemo 堆分析中的新维度。 (英语) Zbl 1067.68532号 J.功能。程序。 6,第4期,587-620(1996).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Runciman}和\textit{N.Röjemo},J.Funct。程序。6,第4号,587--620(1996;Zbl 1067.68532) 全文: 内政部
贾瓦哈尔·奇里马尔;卡尔·A·冈特。;乔恩·里克(Jon G.Riecke)。 参考计数作为线性逻辑的计算解释。 (英语) Zbl 0861.03025号 J.功能。程序。 6,第2期,195-244(1996). 审核人:N.Curteanu(伊阿什) MSC公司:03B70号 第68季度55 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Chirimar}等人,J.Funct。程序。6,第2号,195--244(1996;Zbl 0861.03025) 全文: 内政部
格思·斯特林特·布罗达尔;克里斯·冈崎 最佳的纯功能优先级队列。 (英语) Zbl 0870.68035号 J.功能。程序。 6,第6号,839-857(1996).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.S.Brodal}和\textit{C.Okasaki},J.Funct。程序。6,第6号,839--857(1996;Zbl 0870.68035) 全文: 内政部
彼得·阿奇顿;莱纳斯·普拉斯梅耶 干净I/O的输入输出。 (英语) Zbl 0826.68027号 J.功能。程序。 第5期,第1期,第81-110页(1995年).MSC公司:68甲15 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{P.Achten}和\textit{R.Plasmeijer},J.Funct。程序。5,第1号,81-110(1995年;Zbl 0826.68027) 全文: 内政部
弗里茨·亨利恩;Maison、Harry G。 高阶类型lambda演算的类型推理的复杂性。 (英语) Zbl 0827.03005号 J.功能。程序。 4,第4期,435-477(1994). 审核人:C.Masalagiu(伊阿什) MSC公司:03B40型 03B15号机组 2015年3月1日 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}和\textit{H.G.Mairson},J.Funct。程序。4,第4号,435--477(1994;Zbl 0827.03005) 全文: 内政部
格雷厄姆·赫顿 用于分析的高阶函数。 (英语) Zbl 0817.68097号 J.功能。程序。 2,第3期,323-343(1992).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton},J.Funct(杰·芬克)。程序。2,第3号,323--343(1992;Zbl 0817.68097) 全文: 内政部
佩顿·琼斯,西蒙·L。 在库存硬件上实现惰性函数语言:无脊椎无标签G-machine。 (英语) Zbl 1159.68389号 J.功能。程序。 第2期,第127-202页(1992年).MSC公司:68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.L.佩顿-琼斯},J.芬克。程序。2,第2号,127--202(1992;Zbl 1159.68389) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 在实现高阶函数时使用变换。 (英语) Zbl 0941.68543号 J.功能。程序。 1,第4期,459-494(1991).MSC公司:68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}和\textit{F.Nielson},J.Funct。程序。1,第4号,459--494(1991;Zbl 0941.68543) 全文: 内政部