×
彼得·阿奇顿；马克·范·埃克伦；皮特·库普曼；马可·T·莫拉赞。

1999/2000年与2007/2008年职能方案拟订趋势的趋势。 （英语） Zbl 1256.68028号

高-订购符号。计算。 23，第4期，465-487（2010）.
摘要：“函数式编程趋势研讨会”是一项年度活动，致力于促进函数式编程的新研究方向，并调查函数式编程与计算机科学其他分支之间的关系。TFP系列始于1999年，2008年的会议标志着研讨会的第一个十年。
在本文中，我们使用宏观视角来识别和讨论TFP上呈现的趋势，该视角着眼于TFP前两卷和最近两卷中的主题。其目标是校准十年来趋势的变化，而不是用着眼于年复一年变化的显微视觉镜头来分析趋势。确定的主要趋势是并行函数编程、类型、形式验证、函数语言的实现和应用程序开发。

引用于1文件

MSC公司：

68甲18 函数编程和lambda演算
68甲19 其他编程范式（面向对象、顺序、并发、自动等）

关键词：

趋势；函数并行编程；类型；验证；实施；应用

软件：

Camlflow公司；口香糖；小支票；链接；伊甸园；单足蹦跳；阿格达；Multilisp公司；紫花苜蓿；AoPA公司；轻松检查；i任务；咖喱；Symgrid公司；快速检查；哈斯克尔；艾菲尔；Coq公司；清洁；毫升；Nuprl公司；MapReduce；象牙色
PDF格式BibTeX公司 XML格式引用
\textit{P.Achten}等人，高-订购符号。计算。23，第4号，465--487（2010；Zbl 1256.68028）
全文： 内政部

参考文献：

[1] Abadi，M.，Cardelli，L.，Pierce，B.，Plotkin，G.：静态类型语言中的动态类型。ACM事务处理。程序。语言系统。13(2), 237–268 (1991) ·数字对象标识代码：10.1145/103135.103138
[2] Abadi，M.，Cardelli，L.，Pierce，B.，Plotkin，G.，Rèmy，D.：多态语言中的动态类型。收录于：1992年6月于美国加利福尼亚州旧金山举行的第三届ML及其应用研讨会论文集·兹伯利0819.68142
[3] Achten，P.、Koopman，P.和Morazán，M.（编辑）：函数编程趋势。函数编程趋势，第9卷。Intellect，奈梅亨（2009）·Zbl 1256.68028号
[4] Aiken，A.：现代并行计算的现代语言（特邀讲座，仅摘要）。收录于：ICFP’99：美国纽约州纽约市第四届ACM SIGPLAN功能编程国际会议记录，第8页。ACM，纽约（1999）
[5] Baker，P.、Jervis，C.、King，D.J.：FP的工业应用：一种从系统规范生成测试脚本的工具。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第126-134页。Intellect，奈梅亨（1999）
[6] 贝克·芬奇，C.A.：并行惰性评估的抽象机器。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《功能编程趋势》，第1卷，第154-160页。《知识分子》，斯特灵出版社（1999）
[7] Baker Finch，C.A.，King，D.J.，Trinder，P.W.：并行懒惰评估的操作语义。摘自：ACM-SIGPLAN函数式编程国际会议（ICFP'00），第162-173页。ACM，纽约（2000年）·Zbl 1321.68135号
[8] Bakewell，A.，Runciman，C.：空间使用问题：图形简化语义的评估工具包。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第115-128页。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[9] Ballereau，O.，Loulergue，F.，Hains，G.：高级BSP编程：BSML和BS{\（lambda\）}。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第29-40页。Intellect，奈梅亨（1999）
[10] Bernstein，K.L.，Stark，E.W.：调试类型错误（完整版）。技术报告，纽约州立大学石溪分校计算机科学系，1995年11月
[11] Bertot，Y.，Casterán，P.：交互式定理证明和程序开发。Coq'art：归纳结构的微积分。收录：理论计算机科学课文。施普林格，柏林（2004）
[12] Bove，A.，Dybjer，P.，Sicard-Ramírez，A.：在Agda中嵌入结构的逻辑理论。摘自：《PLPV’09：第三届编程语言与程序验证研讨会论文集》，美国纽约州纽约市，第59-66页。ACM，纽约（2008）
[13] Boyer，R.S.，Strother Moore，J.：关于LISP函数的定理证明。J.助理计算。机器。22(1), 129–144 (1975) ·Zbl 0338.68014号 ·数字对象标识代码：10.1145/321864.321875
[14] 布雷迪：象牙，一个校对引擎。摘自：2006年9月于匈牙利布达佩斯举行的第18届函数式语言实施国际研讨会论文集——修订论文集。计算机科学课堂讲稿，第4449卷，第145-162页。柏林施普林格出版社（2006）
[15] Brady，E.，McKinna，J.，Hammond，K.：构建正确的电路：用相关类型验证硬件规范的功能方面。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第159-176页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[16] Brady，E.，Herrmann，C.，Hammond，K.：具有完全依赖类型的轻量级不变量。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第161-177页。Intellect，奈梅亨（2009）
[17] Brown，D.F.，Garmendia-Doval，A.B.，McCall，J.A.W.：遗传算法实现的功能框架：比较Haskell和标准ML。In：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第27-38页。知识分子/圣安德鲁斯大学，圣安德鲁斯（2000）
[18] Campbell，B.：利用数据结构的深度进行摊销记忆分析。在：Castagna，G.（编辑）《编程语言与系统：第18届欧洲编程研讨会》，ESOP 2009。计算机科学课堂讲稿，第5502卷，第190-204页。柏林施普林格出版社（2009）·Zbl 1234.68072号
[19] 坎贝尔，B.：一阶函数程序线性内存使用预测——最佳学生论文。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第1-16页。Intellect，奈梅亨（2009）
[20] Chitil，O.：类型的组合解释和类型错误的算法调试。收录于：ICFP'01:美国纽约州纽约市第六届ACM SIGPLAN函数式编程国际会议记录，第193-204页。ACM出版社，纽约（2001）·Zbl 1323.68103号
[21] Christiansen，J.，Fischer，S.：Easycheck–免费测试数据。摘自：FLOPS’08：第九届函数与逻辑编程国际研讨会论文集。计算机科学讲义，第4989卷。柏林施普林格出版社（2008）
[22] Claessen，K.，Hughes，J.：QuickCheck：Haskell程序随机测试的轻量级工具。摘自：《第五届函数式编程国际会议记录》，ICFP'00，加拿大蒙特利尔，第268-279页。纽约ACM出版社（2000年）
[23] 科尔，M.：算法框架：并行性的结构化管理。并行和分布式计算研究专著。麻省理工学院出版社，剑桥（1989）
[24] Conchon，S.，Filliátre，J.-C.，Signoles，J.：使用ML functors设计通用图形库。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第124-140页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[25] Constable，R.L.，Allen，S.F.，Bromley，H.M.，Cleaveland，W.R.，Cremer，J.F.，Harper，R.W.，Howe，D.J.，Knoblock，T.B.，Mendler，N.P.，Panangaden，P.，Sasaki，J.T.，Smith，S.F.:使用Nuprl证明开发系统实现数学。普伦蒂斯·霍尔/康奈尔大学，伊萨卡（1995）
[26] Cooper，E.，Lindley，S.，Wadler，P.，Yallop，J.：链接：没有层次的网络编程。摘自：第五届组件和对象形式方法国际研讨会论文集，FMCO’06，CWI，荷兰阿姆斯特丹，2006年11月7日至10日，第4709卷。施普林格，柏林（2006）。
[27] Courtney，A.：用函数语言建模用户界面。耶鲁大学博士论文，2004年5月
[28] Covino，E.，Pani，G.：C++模板元编程的复杂性认证。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第145-160页。Intellect，奈梅亨（2009）
[29] Curtis，S.：函数编程的应用：绗缝。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第145-158页。知识分子/圣安德鲁斯大学，圣安德鲁斯（2000）
[30] Damas，L.，Milner，R.：功能程序的主体类型方案。在：第九届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL'82，第207–212页。ACM，纽约（1982）
[31] Danielsson，N.A.，Hughes，J.，Jansson，P.，Gibbons，J.：快速和松散的推理在道德上是正确的。摘自：POPL'06：美国纽约州纽约市第33届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，第206-217页。ACM，纽约（2006）·Zbl 1370.68042号
[32] Dean，J.，Ghemawat，S.：MapReduce：大型集群上的简化数据处理。Commun公司。ACM 51（1），107–113（2008）·Zbl 05394988号 ·数字对象标识代码：10.1145/1227452.1327492
[33] Dosch，W.，Wiedemann，B.：列出具有累加和索引的同态。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第135–143页。Intellect，奈梅亨（1999）
[34] Duggan，D.：正确的类型解释。摘自：ML研讨会，第49-58页。ACM SIGPLAN，纽约（1998）
[35] Faxén，K.-F.：用懒惰的函数语言进行克隆的成本和好处。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第1-12页。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[36] Gaudiot，J.，Lee，L.：高级数据流语言中的多处理器系统编程。摘自：《欧洲并行体系结构和语言》，第1卷：并行体系结构，1987年PARLE。计算机科学课堂讲稿，第258卷，第134-151页（1987年）
[37] Gava，F.，Loulergue，F.：具有祈使功能的BSP语言的语义。摘自：Joubert，G.R.，Nagel，W.E.，Peters，F.J.，Walter，W.V.（编辑）《并行计算：软件技术、算法、架构和应用》，PARCO 2003，德国德累斯顿。并行计算进展，第13卷，第95-102页。Elsevier，阿姆斯特丹（2004）
[38] Ghani，N.，Johann，P.：效果的捷径融合。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第113-128页。Intellect，奈梅亨（2009）
[39] Gilmore，S.：移动函数的深度类型推断。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第41-49页。Intellect，奈梅亨（1999）
[40] Gilmore，S.（编辑）：函数编程趋势。函数编程趋势，第2卷。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[41] Goldberg，B.，Hudak，P.：Alfalfa：超立方体多处理器上的分布式图约简。在：图表缩减：新墨西哥州圣菲的研讨会论文集。《计算机科学讲义》，第279卷，第94–113页。柏林施普林格（1986）
[42] Goldman，R.、Gabriel，R.和Sexton，C.：Qlisp：中期报告。在：并行Lisp：语言和系统。计算机科学课堂讲稿，第441卷，第161-181页。柏林施普林格（1989）
[43] Green，M.，Abdallah，A.E.：java与Haskell的接口。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第79-88页。Intellect，奈梅亨（1999）
[44] Gronski，J.，Flanagan，C.：统一混合类型和合同。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第54-70页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[45] Grov，G.，Michaelson，G.：走向层次休谟的箱演算。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第71-88页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[46] Guillemette，L.-J.，Monnier，S.：为Haskell中的类型族投一票！摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第81-96页。Intellect，奈梅亨（2009）
[47] Haack，C.，Wells，J.B.：隐式类型高阶语言中的类型错误切片。摘自：ESOP’03：第12届欧洲编程研讨会论文集，柏林，海德堡，第284-301页。柏林施普林格出版社（2003）·Zbl 1032.68041号
[48] Halstead，R.H.Jr.：并行lisp的新思想：语言设计、实现、编程工具。收录：美国/日本并行Lisp研讨会论文集：语言和系统。计算机科学课堂讲稿，第441卷，第2-57页。柏林施普林格（1989）
[49] Halstead，R.H.：Multilisp：并发符号计算语言。ACM事务处理。程序。语言系统。7, 501–538 (1985) ·Zbl 0581.68037号 ·数字对象标识代码：10.1145/4472.4478
[50] 哈蒙德，K.：休谟：一种具有有限时间和空间行为的并发语言。In：程序。第七届IEEE电子控制系统国际会议，ICECS 2K，黎巴嫩，第407–411页（2000）
[51] Hammond，K.，Loidl，H.W.，Partridge，A.：并行程序中的可视化粒度：Haskell的图形筛选系统。在：HPFC’95–高性能功能计算，第208–221页（1995）
[52] Hammond，K.，Al Zain，A.，Cooperman，G.，Petcu，D.，Trinder，P.W.：符号网格：网格上的符号计算框架。In：Kermarrec，A.-M.，Bougé，L.，Priol，T.（编辑）Euro Par.计算机科学讲义，第4641卷，第457–466页。施普林格，柏林（2007）
[53] Hanus，M.：Curry：一种多参数声明语言（系统描述）。In:Bry，F.，Freitag，B.，Seipel，D.（eds.）第十二届逻辑编程研讨会，1997年，德国慕尼黑，1997年9月17日至19日
[54] Hayashi，Y.，Cole，M.：基于BSP的骨骼计划成本分析。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第20-28页。Intellect，奈梅亨（1999）
[55] Heeren，B.J.：顶级质量类型错误消息。2005年9月，荷兰乌得勒支大学博士论文
[56] Heeren，B.，Hage，J.，Swierstra，S.D.：氦中基于约束的类型推断。In:Silaghi，M.-C.，Zanker，M.（eds.）约束编程即时应用研讨会论文集，爱尔兰科克，2003年9月，第59-80页（2003）·Zbl 1315.68050号
[57] Henglein，F.：动态类型：句法和证明理论。科学。计算。程序。22(3), 197–230 (1994) ·Zbl 0809.68083号 ·doi:10.1016/0167-6423（94）00004-2
[58] Herman，D.，Tomb，A.，Flanagan，C.：节省空间的渐进式打字。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第1-18页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）·Zbl 1232.68025号
[59] Hernandez，F.、Peña，R.、Rubio，F.：从GranSim到天堂。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第11-19页。Intellect，奈梅亨（1999）
[60] Hidalgo-Herrero，M.，Ortega-Mallén，Y.：并行函数语言的分布式操作语义。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第89-102页。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[61] Hindley，R.J.：组合逻辑中对象的主要类型方案。事务处理。美国数学。Soc.146，29-60（1969年）·Zbl 0196.01501号
[62] Hofmann，M.，Jost，S.：一阶函数程序堆空间使用的静态预测。摘自：新奥尔良POPL第30届ACM编程语言原理研讨会论文集。ACM，纽约（2003）·Zbl 1321.68180号
[63] Horváth，Z.、Lövei，L.、Cörnyei，Z.，Kozsik，T.、Víg，A.、Nagy，T.，Király，R.、Tóth，M.、Kitlei，R.：重构Erlang程序。地址：2007年6月，罗马尼亚Cluj-Napoca，CEFP 2007第二中欧函数式编程学校·Zbl 1170.68414号
[64] Hu，L.，Hutton，G.：正确编译并发：去掉中间人。摘自：函数式编程趋势研讨会论文集，斯洛伐克科马尔诺，2009年6月
[65] Hu，L.，Hutton，G.：走向经验证的STM。In：Achten，P.，Koopman，P.，Morazán，M.（编辑）《函数编程趋势》。《功能编程趋势》，第9卷，第129-144页。《知识分子》，奈梅亨（2009）
[66] Ito，T.、Matsui，M.：并行lisp语言PaiLisp及其内核规范。收录：美国/日本并行Lisp研讨会论文集：语言和系统。计算机科学课堂讲稿，第441卷，第58-100页。柏林施普林格（1989）
[67] Joubert，G.R.、Nagel，W.E.、Peters，F.J.、Walter，W.V.（编辑）：《并行计算：软件技术、算法、架构和应用》，PARCO 2003，德国德累斯顿。并行计算进展，第13卷。Elsevier，阿姆斯特丹（2004）
[68] Klusik，U.、Peña，R.、Segura，C.：伊甸园中的通道旁路。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第2-10页。Intellect，奈梅亨（1999）
[69] Klusik，U.，Loogen，R.，Priebe，S.：《控制伊甸园中的并行性和数据分布》。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第53-64页。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[70] Knowles，K.，Flanagan，C.：混合型检查。ACM事务处理。程序。语言系统。32(2), 1–34 (2010) ·数字对象标识代码：10.1145/1667048.1667051
[71] Koopman，P.，Plasmeijer，R.：用Gast测试反应系统。收录于：Gilmore，S.（编辑）《第五届函数编程趋势研讨会论文集》，TFP’03，第111-129页。Intellect Books，布里斯托尔（2004）。国际标准书号1-84150-122-0
[72] Koopman，P.、Alimarine，A.、Tretmans，J.、Plasmeijer，R.：Gast：通用自动化软件测试。摘自：Peña，R.，Arts，T.（eds.）修订的第14届函数式语言实现国际研讨会论文集，IFL’02。计算机科学课堂讲稿，第2670卷，第84-100页。柏林施普林格出版社（2003）
[73] Lakin，M.，Pitts，A.：结构操作语义的元语言。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第19-35页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[74] Lämmel，R.：通过程序转换重用。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第144-153页。Intellect，奈梅亨（1999）
[75] Li，H.，Thompson，S.：哈斯克尔重构的形式化。In：van Eekelen，M.，Hammond，K.（编辑）《函数编程趋势》（2005）
[76] Lindblad，F.：一阶测试数据的属性导向生成。在：Morazán，M.T.（编辑）《功能编程趋势》，美国纽约市，2007年4月2日至4日。《功能编程趋势》，第8卷，第105-123页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[77] Loidl，H.-W.，Klusik，U.，Hammond，K.，Loogen，R.，Trinder，P.W.：GpH和Eden：比较Beowulf集群上的两种并行函数语言。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第39-52页。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[78] Loitsch，F.，Serrano，M.：跳客户端编译。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第141-158页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[79] Loogen，R.、Ortega-Mallén，Y.、Peña-Marí，R.：《伊甸园中的并行函数编程》。J.功能。程序。15(3), 431–475 (2005) ·Zbl 1096.68018号 ·网址：10.1017/S0956796805526
[80] Loulergue，F.：并行组合和批量同步并行函数编程。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第77-88页。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[81] Loulergue，F.：功能性BSP程序的分布式评估。并行过程。莱特。11(4), 423–437 (2001)
[82] Loulergue，F.：批量同步并行ML的并行并置。In:Euro-Par 2003。计算机科学课堂讲稿，第2790卷，第781-788页。柏林施普林格出版社（2003）
[83] Loulerge，F.，Hains，G.，Foisy，C.：功能性BSP程序的微积分。科学。计算。程序。37(1–3), 253–277 (2000) ·Zbl 0954.68036号 ·doi:10.1016/S0167-6423（99）00029-5
[84] McAdam，B.J.：类型调试的通用技术。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第50-58页。Intellect，奈梅亨（1999）
[85] McAdam，B.J.，Kennedy，A.，Benton，N.：MLj的类型推断。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第159-172页。圣安德鲁斯大学（2000年）
[86] 梅耶，B.：埃菲尔：语言。普伦蒂斯·霍尔，纽约（1992）·兹比尔0779.68013
[87] Michaelson，G.，Trinder，P.W.，Loidl，H.-W.（编辑）：函数编程趋势。《功能编程趋势》，第1卷。《知识分子》，斯特灵出版社（1999）
[88] Middelkoop，A.，Dijkstra，A.，Swierstra，D.：GADT的精简规范。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第65-180页。Intellect，奈梅亨（2009）
[89] Milner，R.：编程中的类型多态理论。J.计算。系统。科学。17(3), 348–375 (1978) ·Zbl 0388.68003号 ·doi:10.1016/0022-0000（78）90014-4
[90] 黑山，M.，佩尼亚，R.，塞古拉，C.：通过抽象解释进行的空间消耗分析。收录人：van Eekelen，M.，Shkaravska，O.（编辑）《资源分析基础和实际方面国际研讨会论文集》，2009年11月3日，FOPARA'09，荷兰埃因霍温。计算机科学课堂讲稿，第6324卷，第34-50页。柏林施普林格出版社（2009）·Zbl 1305.68062号
[91] Morazán，M.T.（编辑）：《函数编程趋势》，美国纽约市，2007年4月2-4日。函数编程趋势，第8卷。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[92] Morazán，M.T.，Troeger，D.R.：机器翻译体系结构和分配算法。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第98–105页。Intellect，奈梅亨（1999）
[93] Mu，S.-C.，Ko，H.-S.，Jansson，P.：Agda编程代数：关系程序派生的依赖类型。J.功能。程序。19, 545–579 (2009). doi:10.1017/S0956796809007345·Zbl 1191.68195号 ·doi:10.1017/S0956796809007345
[94] Nöcker，E.G.J.M.H.，Smetsers，J.E.W.，van Eekelen，M.C.J.D.，Plasmeijer，M.J.：并发清洁。In：程序。欧洲并行架构和语言协会，91年巴黎，荷兰埃因霍温。计算机科学课堂讲稿，第505卷，第202-219页。柏林施普林格（1991）
[95] 诺雷尔，U。：基于依赖类型理论的实用编程语言。查尔默斯理工大学博士论文（2007年）
[96] Oury，N.，Swierstra，W.：圆周率的力量。摘自：ICFP'08：2008 SIGPLAN函数式编程国际会议记录，第39–50页（2008）·Zbl 1323.68145号
[97] Page，R.，Eastlund，C.，Felleisen，M.：本科生函数编程和定理证明：进度报告。摘自：FDPE’08：美国纽约州纽约市2008年9月21日举行的2008年ACM SIGPLAN教育功能性和声明性编程研讨会会议记录，第21-30页。ACM，纽约（2008）
[98] Pardo，A.，Fernandes，J.P.，Saraiva，J.：循环和高阶单子程序推导的快捷融合规则。摘自：2009年1月19日至20日，美国佐治亚州萨凡纳市，2009年9月，ACM SIGPLAN部分评估和程序操作研讨会论文集，第81-90页（2009）
[99] Pareja，C.，Peña，R.，Rubio，F.，Segura，C.：通过转换优化伊甸园。收录：Gilmore，S.（编辑）《函数编程趋势》。《功能编程趋势》，第2卷，第13-26页。知识分子/圣安德鲁斯大学，圣安德鲁斯（2000）
[100] Peyton Jones，S.：函数式编程语言的并行实现。计算。J.32（2）（1989）·Zbl 0686.93086号
[101] Pil，M.：动态类型和依赖于类型的函数。摘自：Hammond，K.，Davie，T.，Clack，C.（eds.）《第十届函数式语言实现国际研讨会论文集》，IFL’98，英国伦敦。《计算机科学讲义》，第1595卷，第169-185页。柏林施普林格（1999）
[102] Plasmeijer，R.，van Eekelen，M.：函数编程与并行图形重写。Addison-Wesley，雷丁（1993）。国际标准图书编号0-201-41663-8·Zbl 0788.68023号
[103] Plasmeijer，R.，Achten，P.，Koopman，P.：iTasks简介：定义web的交互式工作流。收录于：2007年6月23日至30日，罗马尼亚Cluj-Napoca，CEFP’07，第二中欧函数式编程学校会议记录·Zbl 1170.68417号
[104] Rabi，F.A.，Lapalme，G.，Zomaya，A.Y.：遗传算法的功能设计框架。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第116-125页。Intellect，奈梅亨（1999）
[105] Runciman，C.、Naylor，M.、Lindblad，F.：SmallCheck和lazy SmallCheck：对小值进行自动穷举测试。摘自：美国纽约州纽约市ACM SIGPLAN 2008 Haskell研讨会论文集，第37-48页。ACM，纽约（2009年）。国际标准图书编号：978-1-60558-064-7
[106] Schrijvers，T.，Sulzmann，M.：非完整函数依赖的汇合。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第49-64页。Intellect，奈梅亨（2009）
[107] Schrijvers，T.、Peyton Jones，S.L.、Sulzmann，M.、Vytiniotis，D.：GADT的完整和可判定类型推断。摘自：Hutton，G.，Tolmach，A.P.（编辑）《第14届ACM SIGPLAN功能编程国际会议论文集》，ICFP 2009，英国苏格兰爱丁堡，第341-352页。ACM，纽约（2009）·Zbl 1302.68190号
[108] Sculthorpe，N.，Nilsson，H.：动态混合信号功能网络的优化。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第97-112页。Intellect，奈梅亨（2009）
[109] Sérot，J.：CAMLFLOW：CAML到数据流图形转换器。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第129-144页。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[110] Serrano，M.，Gallesio，E.，Loitsch，F.：Hop，一种用于编程Web2.0的语言。摘自：《第十一届面向对象编程、系统、语言和应用国际会议论文集》，OOPSLA’06，美国俄勒冈州波特兰，2006年10月22日至26日，第975–985页（2006）
[111] Sestoft，P.：衍生出一个懒惰的抽象机器。J.功能。程序。7（3），231–264（1997）·Zbl 0881.68049号 ·文件编号：10.1017/S0956796897002712
[112] Shkaravska，O.，Kersten，R.，van Eeklen，M.：多项式环界函数的基于测试的推理。摘自：Krall，A.，Mössenböck，H.（eds.）PPPJ’10：第八届Java编程原则与实践国际会议论文集。ACM数字诉讼系列，第99–108页（2010年）
[113] Shkaravska，O.，van Eekelen，M.，Tamalet，A.：列表上函数程序的集合大小语义。收录于：Scholz，S.-B.（编辑）第20届功能语言实现与应用国际研讨会修订论文集。计算机科学讲义，第5836卷。柏林施普林格出版社（2010年出版）·Zbl 1445.68047号
[114] Söndergaard，H.，Sestoft，P.：参照透明度、确定性和可展开性。Acta Inform公司。27, 505–517 (1990) ·Zbl 0679.68150号
[115] Sonmez，N.、Perfumo，C.、Stipic，S.、Cristal，A.、Unsal，O.S.、Valero，M.：UnreadTVar：扩展Haskell软件事务内存以提高性能。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第89-104页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[116] Stuckey，P.J.、Sulzmann，M.、Wazny，J.：Haskell中的交互式调试。收录于：Haskell'03：美国纽约州纽约市Haskell 2003年ACM SIGPLAN研讨会论文集，第72-83页。ACM，纽约（2003）
[117] Swierstra，W.，Altenkirch，T.：分布式阵列的依赖类型–最佳学生论文。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第17-32页。Intellect，奈梅亨（2009）
[118] Szymanski，B.K.：并行函数语言和编译器。前沿系列。ACM，纽约（1991）·Zbl 0752.68017号
[119] Tamalet，A.，Shkaravska，O.，van Eekelen，M.：代数数据类型的规模分析。摘自：Achten，P.、Koopman，P.和Morazán，M.（编辑）《函数编程趋势》。《函数编程趋势》，第9卷，第33-48页。Intellect，奈梅亨（2009）·Zbl 1445.68047号
[120] Thiemann，P.：WASH/CGI：带有会话和类型化合成表单的服务器端web脚本。收录于：Krishnamurthi，S.，Ramakrishnan，R.（编辑）《第四届声明性编程实践方面国际研讨会论文集》，PADL'02，俄勒冈州波特兰，美国，2002年1月19日至20日。计算机科学课堂讲稿，第2257卷，第192-208页。柏林施普林格出版社（2002年）
[121] Trinder，P.W.，Hammond，K.，Mattson，J.S.Jr.，Partridge，A.S.，Peyton Jones，S.L.：GUM：Haskell的可移植并行实现。摘自：PLDI’96:ACM SIGPLAN 1996年编程语言设计与实现会议记录，美国纽约州纽约市，第79-88页。ACM，纽约（1996）
[122] Trinder，P.W.，Hammond，K.，Loidl，H.-W.，L，S.，Peyton Jones，S.L.：算法+策略=并行。J.功能。程序。8，23–60（1998年）·Zbl 0933.68033号 ·doi:10.1017/S0956796897002967
[123] van Eekelen，M.C.J.D.（编辑）：2005年9月23日至24日在爱沙尼亚塔林举行的第六届函数式编程趋势研讨会的修订论文集。函数编程趋势，第6卷。Intellect，布里斯托尔（2007）
[124] van Eekelen，M.，de Mol，M.：证明工具支持明确的严格性。收录于：Butterfield，A.，Grelck，C.，Huch，F.（编辑）第17届函数式语言实现与应用国际研讨会的修订论文集，IFL’05，爱尔兰都柏林，2006年9月19-21日。计算机科学课堂讲稿，第4015卷，第37-54页。柏林施普林格出版社（2006）·Zbl 1236.68033号
[125] van Eekelen，M.，Shkaravska，O.，van Kesteren，R.，Jacobs，B.，Poll，E.，Smetsers，S.：AHA：摊销堆空间使用分析。摘自：Morazán，M.T.（编辑）《函数编程趋势》，美国纽约市，2007年4月2-4日。《函数编程趋势》，第8卷，第36-53页。Intellect/芝加哥大学出版社，布里斯托尔/芝加哥（2007）
[126] Vervoort，M.，Plasmeijer，R.：惰性函数语言Clean中的惰性动态输入/输出。收录于：Peña，R.，Arts，T.（eds.）《第14届函数式语言实现国际研讨会的修订论文集》，IFL’02，西班牙马德里，2003年9月。计算机科学课堂讲稿，第2670卷，第101-117页。柏林施普林格出版社（2003）
[127] Wadler，P.：《森林砍伐：改造项目以消除树木》。西奥。计算。科学。73(2), 231–248 (1990) ·Zbl 0701.68013号 ·doi:10.1016/0304-3975（90）90147-A
[128] Walton，C.D.：用于内存管理的抽象机器。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第89-97页。Intellect，奈梅亨（1999）
[129] Wand，M.：寻找类型错误的来源。摘自：编程语言原理会议录，POPL'86，佛罗里达州圣彼得堡海滩，1986年1月，第38-43页。ACM，纽约（1986）
[130] Widera，M.，Beierle，C.：如何结合严格类型和软类型的优点。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第68-78页。Intellect，奈梅亨（1999）
[131] Widera，M.，Beierle，C.：检测类型的常见元素。收录：Gilmore，S.（编辑）《函数编程趋势》。《函数编程趋势》，第2卷，第173-184页。Intellect/圣安德鲁斯大学，圣安德鲁斯分校（2000年）
[132] Yang，J.：通过找出类型冲突的根源来解释类型错误。收录：Michaelson，G.、Trinder，P.W.、Loidl，H.-W.（编辑）《函数编程趋势》。《函数编程趋势》，第1卷，第59-67页。Intellect，奈梅亨（1999）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。