2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。 （英语） Zbl 1282.68047号 ACM SIGPLAN通知45，第9号。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。x、 第387页。(2010). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1282.68046号]. 有关会议的其他文件，请参阅[Zbl 1255.68015号].索引文章：詹姆斯·查普曼（James Chapman）；皮埃尔·埃瓦里斯特·达冈；康纳·麦克布莱德；彼得·莫里斯，轻柔的悬浮艺术，3-14[兹比尔1323.68239]Vytiniotis，Dimitrios；安德鲁·肯尼迪。，功能珍珠：每一位都很重要，15-26[Zbl 1323.68172号]杰雷米·布森；法比安·达格纳特，ReCaml：执行状态是重新配置的基石，27-38[兹比尔1323.68060]Karl Mazurak；史蒂夫·兹丹塞维奇，Lolliproc：通过Curry-Howard和控制从经典线性逻辑到并发，39-50[Zbl 1323.68135号]戴维·范霍恩（David Van Horn）；可能吧，马修，抽象抽象机，51-62[Zbl 1323.68231号]霍尔德曼，斯特凡；尤里安·黑格，具有高等级多态类型和高阶效应算子的多变量流分析，63-74[Zbl 1323.68214号]伯格斯特罗姆（Bergstrom）、拉尔斯（Lars）；迈克·雷尼；约翰·Reppy；亚当·肖（Adam Shaw）；马修·弗莱特，懒惰的树分裂，93-104[Zbl 1323.68063号]加文·M·比尔曼。；安德鲁·戈登（Andrew D.Gordon）。；Hriţcu，科特林；大卫·朗沃西，使用SMT解算器进行语义分型，105-116[兹比尔1323.68096]Tobin Hochstadt，山姆；马提亚斯·费莱森，非类型化语言的逻辑类型，117-128[Zbl 1323.68083号]卡尔·克里，子结构逻辑的高阶表示，131-142[Zbl 1323.68461号]德里克·德雷尔（Derek Dreyer）；乔治·奈斯（Georg Neis）；拉尔斯·比克达尔，高阶状态和控制效果对局部关系推理的影响，143-156[Zbl 1323.68203号]杰森·里德（Jason Reed）；本杰明·皮尔斯。，距离使类型变得更强：区分隐私的微积分，157-168[Zbl 1323.68254号]杰米·莫根斯坦（Jamie Morgenstern）；丹尼尔·李卡塔（Daniel R.Licata）。，独立类型编程中的安全类型编程，169-180[Zbl 1323.68220号]Janis Voigtländer；胡镇江；松田、川崎；王蒙，结合句法和语义双向化，181-192[Zbl 1323.68170号]Davi M.J.Barbosa。；朱利安·克雷丁（Julien Cretin）；福斯特，内特；迈克尔·格林伯格（Michael Greenberg）；本杰明·皮尔斯。，匹配镜头：对齐和视图更新，193-204[Zbl 1323.68062号]秀田秀一郎；胡镇江；稻田，Kazuhiro；加藤，Hiroyuki；松田、川崎；中野圭介，双向图转换，205-216[Zbl 1323.68075号]尼古拉斯·波伊拉德（Nicolas Pouillard）；弗朗索瓦·波蒂埃，用名称和活页夹重新审视编程，217-228[Zbl 1323.68082号]Ryan Culppeper；马提亚斯·费莱森，加强宏，235-246[Zbl 1323.68106号]吉拉德·阿诺德；霍尔兹尔，约翰内斯；Köksal，阿里·西南；博迪克，拉斯季斯拉夫；穆利·萨吉夫，指定和验证稀疏矩阵代码，249-260[Zbl 1323.68197号]加布里埃尔·凯勒；Manuel M.T.Chakravarty。；Leshchinskiy，罗马；西蒙·佩顿·琼斯；本·利普梅耶，Haskell中的规则、形状多态、并行数组，261-272[Zbl 1323.68127号]安德鲁·麦克里特（Andrew McCreight）；蒂姆·骑士；安德鲁·托尔马赫，编译和执行垃圾收集语言的认证框架，273-284[Zbl 1323.68136号]丹尼尔森、尼尔斯·安德斯，总解析器组合器，285-296[Zbl 1323.68330号]Edwin C.Brady。；凯文·哈蒙德，废弃效率低下的引擎：使用部分求值改进特定于域的语言实现，297-308[Zbl 1323.68064号]尼尔·米切尔，重新思考超级编译，309-320[Zbl 1323.68191号]亚瑟·夏盖罗，通过特征公式进行程序验证，321-332[Zbl 1323.68202号]安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟，VeriML：带效果的语言中逻辑项的类型化计算，333-344[Zbl 1323.68384号]Jean-Philippe Bernardy；Patrik Jansson；罗斯·帕特森，参数性和依赖类型，345-356[Zbl 1323.68095号]塞巴斯蒂安·费舍尔；Frank Huch；托马斯·威尔克，正则表达式游戏：函数pearl，357-368[Zbl 1323.68111号]莫里斯（J.Garrett Morris）；马克·琼斯。，实例链：类型类编程，无重叠实例，375-386[Zbl 1323.68141号] 引用于1审查引用于2文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68甲18 函数编程和lambda演算 00B25型 杂项特定利益的会议记录 引文：Zbl 1282.68046号；Zbl 1255.68015号 软件：VeriML公司；ReCaml公司；棒棒糖；哈斯克尔 PDF格式BibTeX公司 XML格式引用 第15届ACM SIGPLAN功能编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27日至29日。纽约州纽约市：计算机机械协会（ACM）（2010年；Zbl 1282.68047） 全文： 内政部