马丁·苏尔兹曼;斯特凡·韦尔 轻量级泛型go中方法重载和结构子类型的类型定向字典传递翻译。 (英语) Zbl 07775447号 J.功能。程序。 33,论文编号e8,63 p.(2023)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{S.Wehr},J.Funct。程序。33,论文编号e8,63 p.(2023;Zbl 07775447) 全文: 内政部 arXiv公司 OA许可证
庄成恩;格兰特·伊拉西;卢卡斯·齐亚雷克 先发送给我:同步消息传递中的优先级。 (英语) Zbl 07697867号 J.功能。程序。 32,论文编号e16,40 p.(2022)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.-E.Chuang}等人,J.Funct。程序。32,论文编号e16,40 p.(2022;Zbl 07697867) 全文: 内政部
帕特里克·巴尔 所有模式FRP:Haskell中没有空间泄漏的函数式反应式编程。 (英语) Zbl 07697866号 J.功能。程序。 32,论文编号e15,48 p.(2022)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Bahr},J.Funct。程序。32,论文编号e15,48 p.(2022;Zbl 07697866) 全文: 内政部
奥利维尔·丹维 使用Coq证明助手推理递归程序的折叠引理。 (英语) Zbl 1511.68052号 J.功能。程序。 32,论文编号e13,27 p.(2022); 勘误表同上,33,文件e3,第1页(2023)。MSC公司:68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy},J.Funct。程序。32,论文编号e13,27 p.(2022;Zbl 1511.68052) 全文: 内政部
安徒生、克里斯托弗·贾斯特·阿恩达尔;伊利亚·谢尔盖 分布式系统建模、测试和执行的协议组合器。 (英语) Zbl 1522.68141号 J.功能。程序。 31,论文编号e3,29 p.(2021)。MSC公司:68号30 64岁以下 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{K.J.A.Andersen}和\textit{I.Sergey},J.Funct。程序。31,论文编号e3,29 p.(2021;Zbl 1522.68141) 全文: 内政部
马丁·埃尔维格;普拉珊·库马尔 可解释的动态编程。 (英语) Zbl 1522.68122号 J.功能。程序。 31,论文编号e10,26 p.(2021)。MSC公司:68甲18 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Erwig}和\textit{P.Kumar},J.Funct。程序。31,论文编号e10,26 p.(2021;Zbl 1522.68122) 全文: 内政部
卢克西奇,扎伊加;普雷特纳,马蒂亚 局部代数效应理论。 (英语) Zbl 1482.68091号 J.功能。程序。 30,论文编号e13,27 p.(2020)。MSC公司:68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{.Lukšić}和\textit{M.Pretnar},J.Funct。程序。30,论文编号e13,27 p.(2020;Zbl 1482.68091) 全文: 内政部 arXiv公司
伊万·佩雷斯;Alwyn E.古德洛。 容错功能反应式编程(扩展版)。 (英语) Zbl 1482.68083号 J.功能。程序。 30,论文编号e12,41 p.(2020)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{I.Perez}和\textit{A.E.Goodloe},J.Funct。程序。30,论文编号e12,41 p.(2020;Zbl 1482.68083) 全文: 内政部
卢卡斯修道院;萨姆·林德利;康纳·麦克布莱德;克雷格·麦克劳林 嘟嘟嘟嘟。 (英语) Zbl 1442.68026号 J.功能。程序。 30,论文编号e9,53 p.(2020)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Convent}等人,J.Funct。程序。30,论文编号e9,53 p.(2020;Zbl 1442.68026) 全文: 内政部
汤姆·施里杰弗斯;布鲁诺·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) 全文: 内政部
剑,卡梅隆;阿穆尔·萨布里;萨姆·托宾·霍施塔特 作为沟通模式的合同监控策略的扩展说明。 (英语) 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.68057号 J.功能。程序。 28,论文编号e7,48 p.(2018)。MSC公司:第68页第19页 68甲18 68T09号 PDF格式BibTeX公司 XML格式引用 \textit{P.Haller}等人,J.Funct。程序。28,论文编号e7,48 p.(2018;Zbl 1476.68057) 全文: 内政部
尼古拉·博塔;帕特里克·詹森;塞萨尔·伊奥内斯库 对政策建议和可避免性计算理论的贡献。 (英语) Zbl 1476.68049号 J.功能。程序。 27,论文编号e23,第52页(2017)。MSC公司:68甲18 03B70号 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{N.Botta}等人,J.Funct。程序。27,论文编号e23,52 p.(2017;Zbl 1476.68049) 全文: 内政部
约根·勃兰特;沃尔夫冈·雷西格;乌尔夫·莱斯 功能科学工作流语言楔形文字的计算语义。 (英语) 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) 全文: 内政部
安德烈亚斯·亚贝尔;斯蒂芬·阿德尔斯伯格;安东·塞泽尔 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) 全文: 内政部
德伊安·斯特凡;大卫·马齐埃尔;约翰·米切尔(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 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) 全文: 内政部
约阿希姆·布雷特纳;理查德·艾森伯格。;西蒙·佩顿·琼斯;斯蒂芬妮·威里奇 Haskell的安全零成本胁迫。 (英语) Zbl 1420.68035号 J.功能。程序。 26,论文编号e15,79 p.(2016)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Breitner}等人,J.Funct。程序。26,论文编号e15,79 p.(2016;Zbl 1420.68035) 全文: 内政部
迪特尔,M。;霍斯特梅耶,T。;罗根。;J·伯特霍尔德。 伊甸园中的骨架组成与稳定工艺系统。 (英语) Zbl 1420.68037号 J.功能。程序。 26,论文编号e11,40 p.(2016)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Dieterle}等人,J.Funct。程序。26,论文编号e11,40 p.(2016;Zbl 1420.68037) 全文: 内政部
Sivaramakrishnan,K.C。;蒂姆·哈里斯;西蒙·马洛;西蒙·佩顿·琼斯 Haskell的可组合调度程序激活。 (英语) Zbl 1420.68057号 J.功能。程序。 26,论文编号e9,39 p.(2016)。MSC公司:68N20型 68甲18 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Sivaramakrishnan}等人,J.Funct。程序。26,论文编号e9,39 p.(2016;Zbl 1420.68057) 全文: 内政部
罗伯特·斯图尔特;帕特里克·梅尔;菲尔·特林德 可扩展函数计算的透明容错。 (英语) 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) 全文: 内政部
博·乔尔·斯文森;Ryan R.牛顿。;希兰,玛丽 一种用于GPU上分层数据并行设计空间探索的语言。 (英语) Zbl 1420.68046号 J.功能。程序。 26,论文编号e6,53 p.(2016)。MSC公司:68甲18 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{B.J.Svensson}等人,J.Funct。程序。26,论文编号e6,53 p.(2016;Zbl 1420.68046) 全文: 内政部
卡塔兹纳·格里吉尔;皮埃尔·莱斯坎 二进制lambda演算中的计数和生成项。 (英语) Zbl 1419.68039号 J.功能。程序。 25,论文编号e24,25 p.(2015)。MSC公司:68甲18 03B40型 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{K.Grygiel}和\textit{P.Lescanne},J.Funct。程序。25,论文编号e24,25 p.(2015;Zbl 1419.68039) 全文: 内政部 arXiv公司
维尔·蒂尔隆;塞缪尔·乌西·梅·凯拉;伊索莫特宁,维尔 用Haskell理解初学者的错误。 (英语) Zbl 1420.68048号 J.功能。程序。 25,论文编号e11,30 p.(2015)。MSC公司:68甲18 97页40页 PDF格式BibTeX公司 XML格式引用 \textit{V.Tirronen}等人,J.Funct。程序。25,论文编号e11,30 p.(2015;Zbl 1420.68048) 全文: 内政部
杰苏斯·阿兰塞;何塞·迪瓦松 高阶逻辑形式化和Gauss-Jordan算法函数语言的代码生成。 (英语) Zbl 1420.68185号 J.功能。程序。 25,论文编号e9,21 p.(2015)。MSC公司:68吨15 65平方英尺 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{J.Divasón},J.Funct。程序。25,论文编号e9,21 p.(2015;Zbl 1420.68185) 全文: 内政部
科恩·克莱森;乔纳斯·杜雷格德;米查·H·帕卡。 生成均匀分布的约束随机数据。 (英语) Zbl 1420.68036号 J.功能。程序。 25,论文编号e8,31 p.(2015)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Claessen}等人,J.Funct。程序。25,论文编号e8,31 p.(2015;Zbl 1420.68036) 全文: 内政部
汉斯·乔治·沙顿 可分割伪随机发生器的评估。 (英语) Zbl 1420.68043号 J.功能。程序。 25,论文编号e6,20 p.(2015)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.G.Schaathun},J.Funct。程序。25,论文编号e6,20 p.(2015;Zbl 1420.68043) 全文: 内政部
毛罗·贾斯克利奥夫;罗素·奥康纳 二阶泛函的表示定理。 (英语) 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公司
维尔·蒂尔隆;伊索莫特宁,维尔 采用认知有效的工作示例格式的教学类型。 (英语) 兹比尔1420.68047 J.功能。程序。 25,论文编号e23,16 p.(2015)。MSC公司:68甲18 97页20 PDF格式BibTeX公司 XML格式引用 \textit{V.Tirronen}和\textit{V.Isomöttönen},J.Funct。程序。25,论文编号e23,16 p.(2015;Zbl 1420.68047) 全文: 内政部
金博尔·日尔曼;可能吧,马修 删除:红黑树的诅咒。 (英语) Zbl 1302.68060号 J.功能。程序。 24,第4期,423-433(2014)。MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{K.Germane}和\textit{M.Might},J.Funct。程序。24,第4号,423--433(2014;Zbl 1302.68060) 全文: 内政部
玛格努斯·奥·米林。;斯科特·欧文斯 将高阶逻辑转换为纯有状态ML的证明性翻译。 (英语) Zbl 1297.68053号 J.功能。程序。 24,编号2-3,284-315(2014)。MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Myreen}和\textit{S.Owens},J.Funct。程序。24、编号2--3、284--315(2014;Zbl 1297.68053) 全文: 内政部
约尔格恩德鲁利斯;迪米特里·亨德里克斯;雷纳巴克希;格里高·罗什乌 关于流相等的复杂性。 (英语) 兹比尔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) 全文: 内政部
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 1310.68056号 J.功能。程序。 23,第3期,293-350(2013)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Thompson}和\textit{H.Li},J.Funct。程序。23,第3号,293--350(2013;Zbl 1310.68056) 全文: 内政部
沃特·斯威斯特拉;托马斯·范诺特 多态动态类型库。 (英语) Zbl 1286.68036号 J.功能。程序。 23,第3期,229-248(2013)。MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{W.Swierstra}和\textit{T.Van Noort},J.Funct。程序。23,第3229-248号(2013年;兹bl 1286.68036) 全文: 内政部
埃德温·布雷迪 Idris,一种通用的依赖类型编程语言:设计和实现。 (英语) Zbl 1295.68059号 J.功能。程序。 第5号第23页,第552-593页(2013年)。 审核人:Valentina Dagienë(维尔纽斯) MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \发短信{E.Brady},J.Funct。程序。23,编号5552-593(2013年;兹bl 1295.68059) 全文: 内政部
贾尼斯·沃格特兰德;胡镇江;松田和川;王、孟 通过形状双向化器插件增强语义双向化。 (英语) Zbl 1303.68039号 J.功能。程序。 23,第5号,515-551(2013)。 审核人:尤里安·哈格(乌得勒支) MSC公司:68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Voigtländer}等人,J.Funct。程序。23,第5号,515--551(2013;Zbl 1303.68039) 全文: 内政部
理查德·伯德(Richard S.Bird)。 用于扩展图形的原位算法。 (英语) Zbl 1266.68142号 J.功能。程序。 23,第2期,174-184(2013)。MSC公司:68兰特 68甲18 05C62号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird},J.Funct。程序。23,第2号,174--184(2013;Zbl 1266.68142) 全文: 内政部
马克·琼斯。 在Haskell中解决蛇立方体难题。 (英语) Zbl 1266.68084号 J.功能。程序。 23,第2期,145-160(2013)。MSC公司:68甲18 68甲15 68第05页 68周05 PDF格式BibTeX公司 XML格式引用 \发短信{M.P.Jones},J.Funct。程序。23,第2号,145-160(2013;Zbl 1266.68084) 全文: 内政部
秋正森哈塔;Kakehi、Kazuhiko;胡镇江;Masato Takeichi 通过交换调用时间和返回时间计算来操作累计函数。 (英语) Zbl 1311.68047号 J.功能。程序。 22,第3期,275-299(2012)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Morihata}等人,J.Funct。程序。22,第3号,275--299(2012;Zbl 1311.68047) 全文: 内政部
迈克尔·斯皮维 什么时候可能还不够好。 (英语) Zbl 1276.68046号 J.功能。程序。 22,第6期,747-756(2012)。 审核人:尤里安·哈格(乌得勒支) MSC公司:68甲18 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Spivey},J.Funct。程序。22,第6号,747--756(2012;Zbl 1276.68046) 全文: 内政部
戴维·范霍恩;可能吧,马修 抽象机器的系统抽象。 (英语) Zbl 1252.68123号 J.功能。程序。 22,编号4-5,705-746(2012)。MSC公司:2005年第68季度 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Van Horn}和\textit{M.Might},J.Funct。程序。22、编号4--5、705--746(2012;Zbl 1252.68123) 全文: 内政部 arXiv公司
德雷克·德雷尔;乔治·奈斯;Lars Birkedal公司 高阶状态和控制效果对局部关系推理的影响。 (英语) 兹比尔1252.68187 J.功能。程序。 22,No.4-5,477-528(2012)。MSC公司:68问题55 68问题85 68甲18 第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Dreyer}等人,J.Funct。程序。22、编号4--5、477--528(2012;Zbl 1252.68187) 全文: 内政部
刘海;埃里克·程;保罗·哈达克 因果交换箭头。 (英语) 兹比尔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) 全文: 内政部
Vytiniotis,迪米特里奥斯;西蒙·佩顿·琼斯;汤姆·施里杰弗斯;马丁·苏尔兹曼 外侧内侧(X):具有局部假设的模块式推理。 (英语) Zbl 1262.68034号 J.功能。程序。 21,编号4-5,333-412(2011)。MSC公司:68甲18 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Vytiniotis}等人,J.Funct。程序。21,编号4--5,333--412(2011;Zbl 1262.68034) 全文: 内政部
沃特·斯威斯特拉 已排序。验证荷兰国旗在阿格达的问题。 (英语) Zbl 1248.68136号 J.功能。程序。 21,第6期,573-583(2011)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{W.Swierstra},J.Funct。程序。21,第6号,573--583(2011;Zbl 1248.68136) 全文: 内政部
拉尔夫·欣泽 键入引号/antigote或:编译时解析。 (英语) 兹比尔1216.68069 J.功能。程序。 21,第3期,219-234(2011)。MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。21,第3号,219--234(2011;Zbl 1216.68069) 全文: 内政部
埃尔科·多尔斯特拉;安德烈斯·洛赫;尼古拉斯·皮埃伦 Nixos:一个纯功能的Linux发行版。 (英语) Zbl 1220.68032号 J.功能。程序。 20,编号5-6,577-615(2010)。MSC公司:68甲15 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Dolstra}等人,J.Funct。程序。20,编号5--6577--615(2010;Zbl 1220.68032) 全文: 内政部
拉尔夫·欣泽 混凝土流演算:扩展研究。 (英语) Zbl 1221.68072号 J.功能。程序。 20,编号5-6,463-535(2010)。MSC公司:68第05页 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。20,编号5--6,463--535(2010;Zbl 1221.68072) 全文: 内政部
格雷厄姆·赫顿;毛罗·贾斯克利奥夫;安迪·吉尔 分解折叠以实现更快的功能。 (英语) Zbl 1210.68047号 J.功能。程序。 20,编号3-4,353-373(2010)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}等人,J.Funct。程序。20,编号3--4,353--373(2010;Zbl 1210.68047) 全文: 内政部
布鲁诺·C·d·S·奥利维拉。;杰里米·吉本斯 针对泛型程序员的Scala。 (英语) Zbl 1213.68191号 J.功能。程序。 20,编号3-4,303-352(2010)。MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.C.d.S.Oliveira}和textit{J.Gibbons},J.Funct。程序。20,编号3--4,303--352(2010;Zbl 1213.68191) 全文: 内政部
Jean-Philippe Bernardy;帕特里克·詹森;马钦·扎勒夫斯基;西比尔·舒普 使用C++概念和Haskell类型类的泛型编程——比较。 (英语) Zbl 1209.68078号 J.功能。程序。 20,编号3-4,271-302(2010)。MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Bernardy}等人,J.Funct。程序。20,编号3--4,271--302(2010;Zbl 1209.68078) 全文: 内政部
彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉尔斯·佩斯金;托马斯·里奇;萨卡,苏斯米特;斯特尼萨,洛克 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) 全文: 内政部
拉尔夫·欣泽 功能完善的1-2棵兄弟树。 (英语) Zbl 1191.68162号 J.功能。程序。 19,第6期,633-644(2009)。MSC公司:68甲18 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。19,第6号,633--644(2009;Zbl 1191.68162) 全文: 内政部
拉尔夫·欣泽 鸟树。 (英语) Zbl 1191.68161号 J.功能。程序。 第5491-508号第19页(2009年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。19,第5号,491--508(2009;Zbl 1191.68161) 全文: 内政部
巴特·雅各布斯;克里斯·希恩;一郎·哈索 箭头的分类语义。 (英语) Zbl 1191.68406号 J.功能。程序。 19,编号3-4,403-438(2009)。MSC公司:68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}等人,J.Funct。程序。19、编号3--4、403--438(2009;Zbl 1191.68406) 全文: 内政部
杰里米·吉本斯;布鲁诺·C·d·S·奥利维拉。 ITERATOR模式的本质。 (英语) Zbl 1191.68160号 J.功能。程序。 19,第3-4、377-402号(2009年)。MSC公司:68甲18 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}和\textit{B.C.d.S.Oliveira},J.Funct。程序。19,编号3--4,377--402(2009;Zbl 1191.68160) 全文: 内政部
安迪·吉尔;格雷厄姆·赫顿 工作机/包装器转换。 (英语) 兹比尔1178.68135 J.功能。程序。 19,第2期,227-251(2009)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Gill}和\textit{G.Hutton},J.Funct。程序。19,第2号,227--251(2009;Zbl 1178.68135) 全文: 内政部
阿尔贝托·德拉·恩西纳;里卡多·佩纳 从自然语义到C:两个STG机器的形式化派生。 (英语) Zbl 1159.68005号 J.功能。程序。 19,第1期,47-94(2009)。MSC公司:68甲18 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.de la Encina}和\textit{R.PeñA},J.Funct。程序。19,第1号,47--94(2009;Zbl 1159.68005) 全文: 内政部
斯威斯特拉,S.多伊茨;奥拉夫·奇蒂尔 线性、有界、功能性精美印刷。 (英语) Zbl 1181.68307号 J.功能。程序。 19,第1期,第1-16页(2009年)。MSC公司:68单位15 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Swierstra}和\textit{O.Chitil},J.Funct。程序。19,第1号,1--16(2009;Zbl 1181.68307) 全文: 内政部
阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;Lars Birkedal公司 霍尔类型理论、多态性和分离。 (英语) 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) 全文: 内政部
曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 诺克严格性分析的安全性。 (英语) 兹比尔1153.68012 J.功能。程序。 18,第4号,503-551(2008)。MSC公司:68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}等人,J.Funct。程序。18,第4号,503--551(2008;Zbl 1153.68012) 全文: 内政部
沃特·斯威斯特拉 数据类型如点菜。 (英语) Zbl 1153.68015号 J.功能。程序。 18,第4期,423-436(2008)。MSC公司:68甲18 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{W.Swierstra},J.Funct。程序。18,第4号,423--436(2008;Zbl 1153.68015) 全文: 内政部
马丁·苏尔兹曼;彼得·斯图基(Peter J.Stuckey)。 \类型推理是(mathrm{HM}(X))求解。 (英语) Zbl 1142.68021号 J.功能。程序。 18,第2期,251-283(2008)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{P.J.Stuckey},J.Funct。程序。18,第2号,251--283(2008;Zbl 1142.68021) 全文: 内政部
杰弗里·沃什伯恩;斯蒂芬妮·威里奇 盒子疯了:用参数多态性编码高阶抽象语法。 (英语) 兹比尔1128.68021 J.功能。程序。 18,第1期,第87-140页(2008年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Washburn}和\textit{S.Weirich},J.Funct。程序。18,第1号,87--140(2008;Zbl 1128.68021) 全文: 内政部
康纳·麦克布莱德;罗斯·帕特森 具有效果的应用程序。 (英语) Zbl 1128.68020号 J.功能。程序。 18,第1期,第1-13页(2008年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.McBride}和\textit{R.Paterson},J.Funct。程序。18,编号1,1-13(2008;Zbl 1128.68020) 全文: 内政部
罗纳德·加西亚;贾科·加尔维;安德鲁·卢姆斯代恩;杰里米·西克;耶利米亚·威尔科克 泛型编程语言支持的扩展比较研究。 (英语) Zbl 1125.68019号 J.功能。程序。 17,第2期,145-205(2007)。MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Garcia}等人,J.Funct。程序。17,No.2,145--205(2007;Zbl 1125.68019) 全文: 内政部
吕克·马兰吉特 模式匹配警告。 (英语) Zbl 1118.68042号 J.功能。程序。 第387-421号第17页(2007年)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Maranget},J.Funct(J·芬克特)。程序。17,第387-421号(2007年;兹bl 1118.68042) 全文: 内政部
醒醒,大卫 电子表格功能编程。 (英语) Zbl 1104.68398号 J.功能。程序。 第1号第17页,第131-143页(2007年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Wakeling},J.Funct。程序。17,第1号,131--143(2007;Zbl 1104.68398) 全文: 内政部
马丁·苏尔兹曼;格雷戈里·杜克。;西蒙·佩顿·琼斯;彼得·斯图基(Peter J.Stuckey)。 通过约束处理规则了解函数依赖性。 (英语) Zbl 1107.68031号 J.功能。程序。 17,第1期,83-129(2007)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}等人,J.Funct。程序。17,No.1,83--129(2007;Zbl 1107.68031) 全文: 内政部
西蒙·佩顿·琼斯;Vytiniotis,迪米特里奥斯;斯蒂芬妮·威里奇;屏蔽,Mark 任意库类型的实用类型推断。 (英语) Zbl 1107.68030号 J.功能。程序。 17,第1号,1-82(2007)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Jones}等人,J.Funct。程序。17,编号1,1--82(2007年;Zbl 1107.68030) 全文: 内政部
斯蒂芬妮·威里奇 类型安全的运行时多类型编程。 (英语) Zbl 1109.68034号 J.功能。程序。 16,第681-710号(2006年)。MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{S.Weirich},J.Funct。程序。16,第6号,681--710(2006年;Zbl 1109.68034) 全文: 内政部
拉尔夫·欣泽 大众泛指。 (英语) Zbl 1122.68022号 J.功能。程序。 16,No.4-5,451-483(2006)。MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。16、编号4--5、451--483(2006;Zbl 1122.68022) 全文: 内政部
凯蒂尔·马尔德;罗伯特·吉格里奇 用惰性动态规划计算PSSM概率。 (英语) Zbl 1091.68040号 J.功能。程序。 16,第1期,75-81(2006)。MSC公司:68页第10页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Malde}和\textit{R.Giegerich},J.Funct。程序。16,第1号,75--81(2006;Zbl 1091.68040) 全文: 内政部
马丁·埃尔维格;史蒂夫·科尔曼斯伯格 Haskell中的概率函数编程。 (英语) Zbl 1091.68023号 J.功能。程序。 16,第1期,21-34(2006)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Erwig}和\textit{S.Kollmansberger},J.Funct。程序。16、第1号、第21--34号(2006年;Zbl 1091.68023) 全文: 内政部
威廉·哈里森。;理查德·基伯茨。 Haskell中的需求逻辑。 (英语) Zbl 1085.68023号 J.功能。程序。 15,第6期,第837-891页(2005年)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Harrison}和\textit{R.B.Kieburtz},J.Funct。程序。15,第6号,837--891(2005;Zbl 1085.68023) 全文: 内政部
丽塔·勒根;尤兰达奥尔特加购物中心;佩尼亚·玛丽·里卡多 Eden中的并行函数编程。 (英语) Zbl 1096.68018号 J.功能。程序。 15,第3期,431-475(2005)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Loogen}等人,J.Funct。程序。15,第3号,431--475(2005;Zbl 1096.68018) 全文: 内政部
劳埃德·艾利森 函数编程中的机器学习和数据挖掘模型。 (英语) Zbl 1063.68082号 J.功能。程序。 15,第1期,15-32(2005)。MSC公司:68T05型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Allison},J.Funct。程序。15,第1号,15-32(2005年;兹bl 1063.68082) 全文: 内政部
蒂姆·谢尔德;埃米尔·帕萨利克 两级类型和参数化模块。 (英语) Zbl 1104.68397号 J.功能。程序。 第14期,第5期,第547-587页(2004年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Sheard}和\textit{E.Pasalic},J.Funct。程序。14,第5457-587号(2004年;Zbl 1104.68397) 全文: 内政部
麦克罗伊,M.道格拉斯 枚举正则语言的字符串。 (英语) Zbl 1104.68063号 J.功能。程序。 14,第5期,503-518(2004)。MSC公司:65年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.D.McIlroy},J.Funct。程序。14,第5号,503--518(2004;Zbl 1104.68063) 全文: 内政部
约翰·休斯 Haskell中的全局变量。 (英语) Zbl 1104.68362号 J.功能。程序。 14,第5期,489-502(2004)。MSC公司:68甲15 第68页第19页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Hughes},J.Funct。程序。14,第5号,489--502(2004;Zbl 1104.68362) 全文: 内政部
马克·琼斯。 合成分形。 (英语) Zbl 1063.68034号 J.功能。程序。 14,第6期,715-725(2004)。MSC公司:68甲18 68甲15 68单位05 PDF格式BibTeX公司 XML格式引用 \发短信{M.P.Jones},J.Funct。程序。14,第6号,715--725(2004;Zbl 1063.68034) 全文: 内政部
约翰·T·奥唐纳。;古杜拉·吕格尔 对数时间进位超前加法电路的推导。 (英语) Zbl 1063.68039号 J.功能。程序。 14,第6期,697-713(2004)。MSC公司:68甲18 68甲15 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.T.O'Donnell}和\textit{G.Rünger},J.Funct。程序。14,第6号,697--713(2004;Zbl 1063.68039) 全文: 内政部
斯蒂芬妮·威里奇 类型安全型铸件。 (英语) Zbl 1063.68041号 J.功能。程序。 14,第6号,681-695(2004)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Weirich},J.Funct。程序。14,第6号,681--695(2004;Zbl 1063.68041) 全文: 内政部
克莱姆·贝克·芬奇;凯文·格林;西蒙·佩顿·琼斯 为Haskell构建产品结果分析。 (英语) Zbl 1085.68554号 J.功能。程序。 14,第2期,211-245(2004)。MSC公司:68N20型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Baker-Finch}等人,J.Funct。程序。14,第2号,211--245(2004;Zbl 1085.68554) 全文: 内政部
阿恩·兰塔 语法框架。一种类型理论语法形式主义。 (英语) Zbl 1085.68026号 J.功能。程序。 14,第2期,145-189(2004)。MSC公司:68甲18 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta},J.Funct。程序。14,第2号,145--189(2004;Zbl 1085.68026) 全文: 内政部
克里斯托夫·吕斯 太空中的哈斯克尔:一个作为功能编程练习的交互式游戏。 (英语) Zbl 1093.68560号 J.功能。程序。 13,第6期,1077-1085(2003)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Lüth},J.Funct。程序。13,第6号,1077--1085(2003;Zbl 1093.68560) 全文: 内政部
西蒙·佩顿·琼斯(编辑) 特刊:Haskell 98语言和图书馆。经修订的报告。 (英语) Zbl 1067.68041号 J.功能。程序。 13,第1号,xii,255页。(2003)。 审核人:玛丽安·乔尔赫(谢菲尔德) MSC公司:68甲15 68-01 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Peyton Jones}(编辑),J.Funct。程序。13,第1号,xii,255~p.(2003;Zbl 1067.68041)
P.W.特林德。;H.-W.罗伊德。;波因顿,R.F。 并行和分布式Haskells。 (英语) Zbl 1037.68026号 J.功能。程序。 12,No.4-5,469-510(2002)。MSC公司:68甲15 68甲18 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Trinder}等人,J.Funct。程序。12、编号4--5、469--510(2002;Zbl 1037.68026) 全文: 内政部
彼得·蒂曼 Haskell中HTML和XML文档的类型化表示。 (英语) Zbl 1037.68025号 J.功能。程序。 12,No.4-5,435-468(2002)。MSC公司:68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Thiemann},J.Funct。程序。12,编号4--5,435--468(2002;Zbl 1037.68025) 全文: 内政部
西蒙·佩顿·琼斯;西蒙·马洛 格拉斯哥哈斯克尔编译器内联程序的秘密。 (英语) Zbl 1037.68042号 J.功能。程序。 12,编号4-5393-434(2002)。MSC公司:68N20型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Jones和\textit{S.Marlow},J.Funct。程序。12,编号4--5,393--434(2002;Zbl 1037.68042) 全文: 内政部
康纳·麦克布莱德 在Haskell中模拟依赖类型。 (英语) Zbl 1037.68038号 J.功能。程序。 12,编号4-5,375-392(2002)。MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.McBride},J.Funct。程序。12,编号4--5,375--392(2002;Zbl 1037.68038) 全文: 内政部
西蒙·马洛 在Concurrent Haskell中开发高性能web服务器。 (英语) Zbl 1037.68022号 J.功能。程序。 12,No.4-5,359-374(2002)。MSC公司:68甲15 68甲18 68个M12 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Marlow},J.Funct。程序。12,编号4--5,359--374(2002;Zbl 1037.68022) 全文: 内政部
传真:Karl-Filip Haskell的静态语义。 (英语) Zbl 1037.68016号 J.功能。程序。 12,编号4-5,295-357(2002)。MSC公司:68甲15 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.-F.传真},J.Funct。程序。12,编号4--5,295--357(2002;Zbl 1037.68016) 全文: 内政部
奥利维尔·丹维;莫滕·里格尔;Rose,Kristoffer H。 通过类型化抽象语法的求值进行规范化。 (英语) Zbl 1037.68095号 J.功能。程序。 11,第6号,673-680(2001)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}等人,J.Funct。程序。11,第6号,673--680(2001;Zbl 1037.68095) 全文: 内政部
亨利克·尼尔森 如何在像以前一样懒惰的时候看起来很忙:懒惰函数调试器的实现。 (英语) Zbl 1037.68039号 J.功能。程序。 11,第6号,629-671(2001)。MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.尼尔森},J.芬克。程序。11,第6号,629--671(2001;Zbl 1037.68039) 全文: 内政部
玛格丽特·伯内特;约翰·阿特伍德;丽贝卡·沃尔波尔·德江;詹姆斯·赖奇温;赫基默·戈特弗里德;Yang,雪莉 Forms/3:一种一阶可视化语言,用于探索电子表格范式的边界。 (英语) Zbl 0979.68017号 J.功能。程序。 11,第2期,155-206(2001)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Burnett}等人,J.Funct。程序。11,第2号,155--206(2001;Zbl 0979.68017)
克里斯托夫·埃尔曼(Christoph A.Herrmann)。;Lengauer,基督徒 通过转换到嵌套循环实现分治的并行化。 (英语) Zbl 0948.68228号 J.功能。程序。 9,第3号,279-310(1999)。MSC公司:68宽10 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Herrmann}和\textit{C.Lengauer},J.Funct。程序。9,第3号,279--310(1999;Zbl 0948.68228) 全文: 内政部
拉尔夫·欣泽 解释二项式堆。 (英语) Zbl 0926.68026号 J.功能。程序。 9,第1期,93-104(1999)。MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。9,第1号,93--104(1999;Zbl 0926.68026) 全文: 内政部
加里·米恩;乔伊,迈克 动画模糊逻辑。 (英语) Zbl 0917.03013号 J.功能。程序。 8,第5期,503-525(1998)。MSC公司:03B52号 68甲15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Meehan}和\textit{M.Joy},J.Funct。程序。8,第5号,503--525(1998;Zbl 0917.03013) 全文: 内政部