Haskell Workshop

17th September 2000

Montreal, Canada


Editor: Graham Hutton, University of Nottingham

8.30 - 10.00: chaired by Graham Hutton (Nottingham)

Lambada, Haskell as a Better Java
Erik Meijer (Utrecht) and Sigbjorn Finne (Microsoft)

Writing High-Performance Server Applications in Haskell
Case Study: A Haskell Web Server

Simon Marlow (Microsoft)

Haskell Server Pages: Functional Programming and the Battle for the Middle Tier
Erik Meijer (Utrecht) and Danny van Velzen (Utrecht)

10.30 - 12.30: chaired by Andy Gill (OGI)

An Overview of Edison
Chris Okasaki (Columbia)

Combinator Parsers: From Toys to Tools
Doaitse Swierstra (Utrecht)

Typed Logical Variables in Haskell
Koen Claessen (Chalmers) and Peter Ljunglof (Chalmers)

14.00 - 15.30: chaired by Chris Okasaki (Columbia)

Debugging Haskell by Observing Intermediate Data Structures
Andy Gill (OGI)

A Space-Semantics for Core Haskell
Adam Bakewell (York) and Colin Runciman (York)

16.00 - 18.00: chaired by Erik Meijer (Utrecht)

Derivable Type Classes
Ralf Hinze (Bonn) and Simon Peyton Jones (Microsoft)

Data Field Haskell
Jonas Hormerin (KTH) and Bjorn Lisper (KTH)

Pattern Guards and Transformational Patterns
Martin Erwig (Oregon) and Simon Peyton Jones (Microsoft)