Abstract is missing.
- Graph-based Communication in EdenThomas Horstmeyer, Rita Loogen. 1-16
- Compiling Concurrency Correctly: Cutting out the Middle ManLiyang Hu, Graham Hutton. 17-32
- Towards Compiling SAC to CUDAJing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz. 33-48
- Low Pain vs No Pain Multi-core HaskellsMustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold. 49-64
- An Operational Semantics for Distributed Lazy EvaluationLidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén. 65-80
- On Graph Rewriting, Reduction and EvaluationIan Zerny. 81-96
- A Reflection-based Proof Tactic for Lattices in CoqDaniel W. H. James, Ralf Hinze. 97-112
- Generic Programming for Domain ReasonersJohan Jeuring, José Pedro Magalhães, Bastiaan Heeren. 113-128
- Haskell Module Tools for Liberating Type Class DesignWolfram Kahl. 129-144
- Signals, Not Generators!Wolfgang Jeltsch. 145-160
- Braincurry: A Domain-specific Language for Integrative NeuroscienceTom Nielsen, Tom Matheson, Henrik Nilsson. 161-176