ACM SIGPLAN 2006 Haskell Workshop
Schedule

 

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

 


Last update: 2006-09-07.