9. TFP 2008: Nijmegen, The Netherlands

Peter Achten, Pieter Koopman, Marco T. Morazán (editors): Revised Selected Papers from the Ninth Symposium on Trends in Functional Programming, TFP 2008 Center Parcs "Het Heijderbos", The Netherlands, May 26-28 2008. Trends in Functional Programming 9. Intellect, Bristol, UK. ISBN 978-1-84150-277-9

Brian Campbell: Prediction of linear memory usage for first-order functional programs. 1-16
Wouter Swierstra, Thorsten Altenkirch: Dependent Types for Distributed Arrays. 17-32
Alejandro Tamalet, Olha Shkaravska, Marko van Eekelen: Size Analysis of Algebraic Data Type. 33-48
Tom Schrijvers, Martin Sulzmann: Confluence for Functional Dependencies. 49-64
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra: A Leaner Specification for GADTs. 65-80
Louis-Julien Guillemette, Stefan Monnier: One Vote for Type Families in Haskell! 81-96
Neil Sculthorpe, Henrik Nilsson: Optimisation of Dynamic, Hybrid Signal Function Networks. 97-112
Neil Ghani, Patricia Johann: Short Cut Fusion for Effects. 113-128
Liyang HU, Graham Hutton: Towards a Verified STM. 129-144
Emanuele Covino, Giovanni Pani: Complexity Certification of C++ Template Metaprogramming. 145-160
Edwin Brady, Christoph Herrmann, Kevin Hammond: Lightweight Invariants with Full Dependent Types. 161-177