2001 Haskell Workshop

Firenze, Italy, 2nd September 2001

The Haskell Workshop is sponsored by ACM SIGPLAN and forms part of the PLI 2001 colloquium on Principles, Logics, and Implementations of high-level programming languages, which comprises the ICFP/PPDP conferences and associated workshops. Previous Haskell Workshops have been held in La Jolla (1995), Amsterdam (1997), Paris (1999), and Montreal (2000).{html, pdf, ps, txt}

Workshop programme

The registration fees and the registration procedure are described here.

The workshop received a total of 23 submissions and after careful consideration the programme committee selected the 10 papers below (6 regular, 4 pearls, and no application letters) for acceptance. The selection was competitive: several good papers had to be rejected.

NEW The proceedings are available as a 4979K PDF file (the programme below contains links to individual papers).

Please, note that in addition to longer presentations on accepted papers, a number of slots for participants to make 10-minute informal presentations are available. To request such a slot, contact Ralf Hinze.

9.00 - 10.30: chaired by Ralf Hinze

Functional Pearl: "Derivation of a Carry Lookahead Addition Circuit" ,
John O'Donnell and Gudula Rünger

Functional Pearl: "Inverting the Burrows-Wheeler Transform",
Richard Bird and Shin-Cheng Mu

"Genuinely Functional User Interfaces",
Antony Courtney and Conal Elliott

10.30 - 11.00:

Coffee break

11.00 - 12.30: chaired by Patrik Jansson

"Named Instances for Haskell Type Classes",
Wolfram Kahl and Jan Scheffczyk

"A Functional Notation for Functional Dependencies",
Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber

Report from the program chair and 10-minute talks:

"Haskell Libraries - The next generation",
Simon Marlow
"Lightweight Modules for Haskell",
Mark Shields

12.30 - 14.00:


14.00 - 15.30: chaired by Ross Paterson

"GHood - Graphical Visualisation and Animation of Haskell Object Observations",
Claus Reinke

"Multiple-View Tracing for Haskell: a New Hat",
Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman

10-minute talks:

"Animating Haskell by Term Graph Rewriting",
Wolfram Kahl
"TIE: A CHR-based Type Inference Engine",
Martin Sulzmann
"The Haskell 98 Foreign Function Interface",
Manuel Chakravarty

15.30 - 16.00:

Coffee break

16.00 - 17.30: chaired by Jeremy Gibbons

Functional Pearl: "Parsing Permutation Phrases",
Arthur Baars, Andres Löh, and S. Doaitse Swierstra

Functional Pearl: "Pretty Printing with Lazy Dequeues",
Olaf Chitil

"Playing by the Rules: Rewriting as a practical optimisation technique in GHC",
Simon Peyton Jones, Andrew Tolmach, and Tony Hoare

17.30 - 18.00: chaired by Manuel Chakravarty

Discussion: the future of Haskell

Programme committee

Manuel Chakravarty University of New South Wales
Jeremy Gibbons University of Oxford
Ralf Hinze (chair) University of Utrecht
Patrik Jansson Chalmers University
Mark Jones Oregon Graduate Institute
Ross Paterson City University, London
Simon Peyton Jones Microsoft Research
Stephanie Weirich Cornell University


The purpose of the Haskell Workshop is to discuss experience with Haskell, and possible future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Submissions that discuss limitations of Haskell at present and/or propose new ideas for future versions of Haskell are particularly encouraged. Adopting an idea from ICFP 2000, the workshop also solicits two special classes of submissions, application letters and functional pearls, described below.

Application Letters

An application letter describes experience using Haskell to solve real-world problems. Such a paper might typically be about six pages, and may be judged by interest of the application and novel use of Haskell.

Functional Pearls

A functional pearl presents - using Haskell as a vehicle - an idea that is small, rounded, and glows with its own light. Such a paper might typically be about six pages, and may be judged by elegance of development and clarity of expression.

Valid HTML 4.01!