2010年第11届TFP:美国俄克拉何马州诺曼
雷克斯·L·佩奇 , 佐尔坦·霍瓦思 , 维克托里亚·佐斯克 :
功能编程趋势-第11届国际研讨会,TFP 2010,美国俄克拉何马州诺曼,2010年5月17日至19日。 修订论文集。 计算机科学课堂讲稿 6546, 施普林格 2011 ,十亿 978-3-642-22940-4 斯蒂芬·张 , 大卫·范·霍恩 , 马提亚斯·费莱森 :
正在评估控制堆栈上的按需调用。 1-15 康拉德·安东 , 彼得·蒂曼 :
键入Coroutines。 16-30 克里斯托弗·布朗 , 李慧清(音) , 西蒙·汤普森 :
表达式处理器:重构Haskell程序的案例研究。 31-49 约翰·卡珀 , 亨利克·尼尔森 :
一类模块化方程组的静态平衡检查。 50-65 西尔维娅·克莱里奇 , 克里斯蒂娜·佐尔坦 , 吉列尔莫·普雷斯蒂亚科莫 :
图形和增量类型推断:图形转换方法。 66-83 卡尔·伊斯特伦德 , 马提亚斯·费莱森 :
ACL2的卫生宏。 84-101 安德鲁·法默 , 加林·金梅尔 , 安迪·吉尔 :
堪萨斯熔岩怎么了? 102-117 安迪·吉尔 , 特里斯坦公牛 , 安德鲁·法默 , 加林·基梅尔 , 埃德·坎普 :
硬件模拟和合成的类型和类型系列-堪萨斯熔岩的内部和外部。 118-133 彼得·库普曼 , 普拉斯梅耶绿脓杆菌 :
使用功能参考实现进行测试。 134-149 凯文·马特拉奇 , 安迪·吉尔 :
每一个动画都应该有一个开始、一个中间和一个结束——使用基于Functor的动画语言的案例研究。 150-165 马可·莫拉赞 :
CS1教室中的功能视频游戏。 166-183 米查尔·普塔泽克 , 马西耶·马拉夫斯基 :
ComputeErl——基于Erlang的多任务计算框架。 184-197 马克·斯奈德 , 佩里·亚历山大 :
Monad工厂:类型索引的Monad。 198-213
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)