Trends in Functional Programming, Volume 9

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

Table of Contents

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