Abstract is missing.
- Prediction of linear memory usage for first-order functional programsBrian Campbell. 1-16
- Dependent Types for Distributed ArraysWouter Swierstra, Thorsten Altenkirch. 17-32
- Size Analysis of Algebraic Data TypeAlejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen. 33-48
- Confluence for Functional DependenciesTom Schrijvers, Martin Sulzmann. 49-64
- A Leaner Specification for GADTsArie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. 65-80
- One Vote for Type Families in Haskell!Louis-Julien Guillemette, Stefan Monnier. 81-96
- Optimisation of Dynamic, Hybrid Signal Function NetworksNeil Sculthorpe, Henrik Nilsson. 97-112
- Short Cut Fusion for EffectsNeil Ghani, Patricia Johann. 113-128
- Towards a Verified STMLiyang Hu, Graham Hutton. 129-144
- Complexity Certification of C++ Template MetaprogrammingEmanuele Covino, Giovanni Pani. 145-160
- Lightweight Invariants with Full Dependent TypesEdwin Brady, Christoph A. Herrmann, Kevin Hammond. 161-177