格雷克，C。（编辑）；Huch，F。（编辑）；迈克尔森，G。（编辑）；特林德，P。（编辑） 函数语言的实现和应用。2004年9月8日至10日在德国吕贝克举行的IFL 2004第16届国际研讨会。修订了选定的论文。 （英语） Zbl 1119.68008号 计算机科学课堂讲稿3474.柏林：施普林格出版社（ISBN 978-3-540-26094-3/pbk）。x、 227页。(2005). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查（请参阅Zbl 1056.68017号).索引文章：克里斯托巴尔·萨拉斯，阿尔弗雷多；Andrey Chernykh；罗德里格斯-阿尔坎塔（Rodríguez-Alcantar），爱德米拉（Edelmira）；让-吕克·高迪奥特，利用单赋值属性通过代码转换优化消息传递程序，1-16[Zbl 1119.68328号]彼得·阿奇顿，交互式探测GUI应用程序静态属性的可行性，17-34[Zbl 1119.68325号]埃弗斯、桑德；彼得·阿希顿；库珀，简，图形用户界面中表单的函数编程技术，35-51[Zbl 1119.68332号]奥利维尔·丹维，合理解构兰丁的SECD机器，52-71[Zbl 1119.68330号]霍尔格·加斯特，通过数据流解释ML类型错误，72-89[Zbl 1119.68333号]巴尔塔萨尔·特兰科尼·维德曼，\（V\rightarrow M\）：严格计算（co）递归函数的虚拟机，90-107[Zbl 1119.68337号]塞尔吉奥·安托伊；迈克尔·哈努斯（Michael Hanus）；刘继萌；安德鲁·托尔马赫，用于功能逻辑计算的虚拟机，108-125[Zbl 1119.68326号]奥拉夫·奇蒂尔，基于源代码的痕迹勘探，126-141[Zbl 1119.68327号]尼克·本顿（Nick Benton）；安德鲁·肯尼迪（Andrew Kennedy）；萨姆·林德利；克劳迪奥·拉索，SML.NET中的收缩收缩，142-159[Zbl 1119.68342号]Ronny Wichers Schreur；莱纳斯·普拉斯梅耶，通用函数的动态构造，160-176[兹比尔1119.68334]马尔科姆·道斯；安德鲁·巴特菲尔德（Andrew Butterfield）；马尔科·范·埃克伦，关于确定性并发功能I/O的推理，177-194[Zbl 1119.68331号]亚历克斯·沙法伦科；斯文·博多·舒尔茨，一般同态过载，195-210[Zbl 1119.68335号]叶卡捷琳娜·斯特凡诺夫；安东尼·斯隆（Anthony M.Sloane）。，简单、有效地减少功能程序的代码大小，211-225[Zbl 1119.68336号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68甲18 函数编程和lambda演算 00B25型 杂项特定利益的会议记录 引文：Zbl 1056.68017号 PDF格式BibTeX公司 XML格式引用 \textit{C.Grelck}（ed.）等人，函数语言的实现和应用。2004年国际单项体育联合会第16届国际研讨会，德国吕贝克，2004年9月8日至10日。修订了选定的论文。柏林：施普林格出版社（2005；Zbl 1119.68008） 全文： 内政部