| 08:25 | Welcome |
| Session I (chaired by Andres Löh, Universität Bonn) | |
| 08:30 – 09:00 |
Stephanie Weirich (University of Penssylvania)
RepLib: A library for derivable type classes |
| 09:00 – 09:30 |
Deling Ren and Martin Erwig (Oregon State University)
A Generic Recursion Toolbox for Haskell (Or: Scrap Your Boilerplate Systematically) |
| 09:30 – 10:00 |
Alexandra Silva (CWI) and Joost Visser (Universidade do Minho)
Functional Pearl: Strong Types for Relational Databases |
| 10:00 – 10:30 | — Break — |
| Session II (chaired by Simon Peyton Jones, Microsoft Research) | |
| 10:30 – 11:00 |
Koji Kagawa (RISE, Kagawa University)
Polymorphic Variants in Haskell |
| 11:00 – 11:30 |
Dana N. Xu (University of Cambridge)
Extended Static Checking for Haskell |
| 11:30 – 12:00 |
Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty (University of New South Wales)
Reconciling High Performance and High Assurance in Microkernel Development |
| 12:00 – 12:30 |
Iavor S. Diatchki (OGI) and Mark P. Jones (Portland State University)
Strongly Typed Memory Areas (Programming Systems-Level Data Structures in a Functional Language) |
| 12:30 – 14:00 | — Lunch — |
| Session III (chaired by Isaac Jones, Galois Connections) | |
| 14:00 – 14:30 |
Peter Thiemann (Universität Freiburg)
User-Level Transactional Programming in Haskell |
| 14:30 – 15:00 |
Simon Marlow (Microsoft Research)
An extensible dynamically-typed hierarchy of exceptions |
| 15:00 – 15:15 |
David Himmelstrup
Demo: Interactive Debugging |
| 15:15 – 15:30 |
Andy Gill (Galois Connections)
Demo: Introducing the Haskell Equational Reasoning Assistant |
| 15:30 – 16:00 | — Break — |
| Session IV (chaired by Henrik Nilsson, University of Nottingham) | |
| 16:00 – 16:15 | Program Chair Report |
| 16:15 – 16:45 |
Eric Kow (LORIA)
GenI: Natural language generation in Haskell |
| 16:45 – 17:00 |
Frederik Eaton (University College London)
Demo: Typed Linear Algebra |
| 17:00 – 17:15 |
Isaac Jones (Galois Connections)
Haskell' Status Report |
| Session V (chaired by Gabriele Keller, University of New South Wales) | |
| 17:15 – | Discussion: The Future of Haskell |