10. TFP 2009: Komarno, Slovakia
Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter Koopman (editors):
Revised Selected Papers from the Tenth Symposium on Trends in Functional Programming, TFP
2009.
Selye Janos University, Komarno, Slovakia.
Trends in Functional Programming 10.
Intellect, Bristol, UK.
ISBN 978-1-84150-405-6
- Thomas Horstmeyer, Rita Loogen: Graph-based Communication in Eden. 1-16
- Liyang Hu, Graham Hutton: Compiling Concurrency Correctly: Cutting out the Middle Man. 17-32
- Jing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz: Towards Compiling SAC to CUDA. 33-48
- Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold: Low Pain vs No Pain Multi-core Haskells. 49-64
- Lidia Sánchez-Gil and Mercedes Hidalgo-Herrero and Yolanda Ortega-Mallén : An Operational Semantics for Distributed Lazy Evaluation. 65-80
- Ian Zerny: On Graph Rewriting, Reduction and Evaluation. 81-96
- Daniel W. H. James, Ralf Hinze: A Reflection-based Proof Tactic for Lattices in Coq. 97-112
- Johan Jeurnig, José Pedro Magalháes, Bastiaan Heeren: Generic Programming for Domain Reasoners. 113-128
- Wolfram Kahl: Haskell Module Tools for Liberating Type Class Design. 129-144
- Wolfgang Jeltsch: Signals, Not Generators! 145-160
- Tom Nielsen, Tom Matheson, Henrik Nilsson: Braincurry: A Domain-specific Language for Integrative Neuroscience. 161-176