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).
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.
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.
"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
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:
"GHood - Graphical
Visualisation and Animation of Haskell Object
"Multiple-View Tracing for Haskell: a New Hat",
Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman
Functional Pearl: "Parsing Permutation Phrases",
Arthur Baars, Andres Löh, and S. Doaitse Swierstra
Functional Pearl: "Pretty Printing with Lazy Dequeues",
"Playing by the Rules: Rewriting as a practical optimisation technique in GHC",
Simon Peyton Jones, Andrew Tolmach, and Tony Hoare
Discussion: the future of Haskell
|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|