

Session 1

Session chair: Janis Voigtlaender



9:00

Welcome

9:10

Types Are Calling Conventions



Max Bolingbroke and Simon Peyton Jones

9:35

Losing Functions Without Gaining Data - Another Look at Defunctionalisation



Neil Mitchell and Colin Runciman







10:00

Coffee Break









Session 2

Session Chair: Jeremy Gibbons



10:30

Push-pull Functional Reactive Programming



Conal Elliott

10:55

Unembedding Domain-specific Languages



Robert Atkey, Sam Lindley and Jeremy Yallop

11:20

A Compositional Theory for STM Haskell



Johannes Borgstrom, Karthikeyan Bhargavan and Andrew D Gordon

11:45

Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience



Lee Pike, Geoffrey Brown and Alwyn Goodloe







12:00

Lunch











Session 3

Session Chair: Simon Marlow



13:30

Lazy Functional Incremental Parsing



Jean-Philippe Bernardy

13:55

Alloy: Fast Generic Transformations for Haskell



Neil Brown and Adam Sampson

14:20

The Architectures of The Utrecht Haskell Compiler



Atze Dijkstra, Jeroen Fokker and Doaitse Swierstra

14:45

Tool Demonstration: CLasH: From Haskell to Hardware



Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards and Bert Molenkamp









15:00

Coffee Break









Session 4

Session Chair: Mark P. Jones



15:30

Parallel Performance Tuning for Haskell



Don Jones Jr, Simon Marlow and Satnam Singh

15:55

Type-Safe Observable Sharing in Haskell



Andy Gill

16:20

Finding the needle: Stack Traces for GHC



Tristan Allwood, Simon Peyton-Jones and Susan Eisenbach







16:45

Short Break









Session 5



17:00

Discussion on The Future of Haskell

