Selected papers from the Eighth Symposium on Trends in Functional Programming (TFP08),
Center Parcs "Het Heijderbos", The Netherlands, May 26-28 2008.
Peter Achten, Pieter Koopman, Marco T. Morazán (editors).
Intellect, Bristol, UK.
ISBN 978-1-84150-277-9
| Prediction of linear memory usage for first-order functional programs | 1-16 | |
| Brian Campbell | Best student paper | |
| Dependent Types for Distributed Arrays | 17-32 | |
| Wouter Swierstra, Thorsten Altenkirch | Best student paper | |
| Size Analysis of Algebraic Data Type | 33-48 | |
| Alejandro Tamalet, Olha Shkaravska, Marko van Eekelen | ||
| Confluence for Functional Dependencies | 49-64 | |
| Tom Schrijvers, Martin Sulzmann | ||
| A Leaner Specification for GADTs | 65-80 | |
| Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra | ||
| One Vote for Type Families in Haskell! | 81-96 | |
| Louis-Julien Guillemette, Stefan Monnier | ||
| Optimisation of Dynamic, Hybrid Signal Function Networks | 97-112 | |
| Neil Sculthorpe, Henrik Nilsson | ||
| Short Cut Fusion for Effects | 113-128 | |
| Neil Ghani, Patricia Johann | ||
| Towards a Verified STM | 129-144 | |
| Liyang HU, Graham Hutton | ||
| Complexity Certification of C++ Template Metaprogramming | 145-160 | |
| Emanuele Covino, Giovanni Pani | ||
| Lightweight Invariants with Full Dependent Types | 161-177 | |
| Edwin Brady, Christoph Herrmann, Kevin Hammond |