[Haskell] ACM SIGPLAN 2002 Haskell Workshop

Pittsburgh, PA, USA
3 October 2002


The Haskell Workshop forms part of the PLI 2002 colloquium on Principles, Logics, and Implementations of high-level programming languages, which comprises the ICFP, PPDP, and GCSE/SAIG conferences as well as associated workshops. Previous Haskell Workshops have been held in La Jolla (1995), Amsterdam (1997), Paris (1999), Montreal (2000), and Firenze (2001).

Proceedings in Electronic Form

The proceedings of the workshop are available online from the ACM Digital Library: Proceedings of the ACM SIGPLAN 2002 Haskell Workshop.


8:45 Welcome
9:00--10:00 Chaired by Manuel Chakravarty
Template Meta-programming for Haskell
Tim Sheard and Simon Peyton Jones
A Formal Specification of the Haskell 98 Module System
Iavor S. Diatchki, Mark P. Jones, and Thomas Hallgren
10:00--10:30 Coffee Break
10:30--12:30 Chaired by Peter Thiemann
A Recursive do for Haskell
Levent Erkök and John Launchbury
Eager Haskell: Resource-bounded Execution Yields Efficient Iteration
Jan-Willem Maessen
Tool Demo: Web Authoring System Haskell (WASH)
Peter Thiemann
10min Talk: Implementing the Read Class Efficiently
Koen Claessen
Functional Reactive Programming, Continued
Henrik Nilsson, Antony Courtney, and John Peterson
12:30--14:00 Lunch
14:00--15:30 Chaired by Andrew Tolmach
Testing Monadic Code with QuickCheck
Koen Claessen and John Hughes
Haddock, A Haskell Documentation Tool
Simon Marlow
Tool Demo: Grammatical Framework (GF)
Aarne Ranta
10min Talk: Unit Testing with HUnit
Dean Herington
15:30--16:00 Tea Break
16:00--17:50 Chaired by Conal Elliott
Tool Demo: Bluespec: A Haskell-based Language for Hardware Design
Lennart Augustsson
A Lightweight Implementation of Generics and Dynamics
James Cheney and Ralf Hinze
Techniques for Embedding Postfix Languages in Haskell
Chris Okasaki
Discussion: The Future of Haskell
Johan Jeuring

Paper presentations last 30 minutes including 5-10 minutes of discussion. Tool demos last 20 minutes and 10min talks last, well, 10 minutes. The Future of Haskell discussion also lasts 30 minutes.


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. Topics of interest include, but are not limited to, the following:

Language Design
with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo;
in the form of a formal treatment of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation;
Implementation Techniques
including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces;
Tool Support
in the form of profilers, tracers, debuggers, pre-processors, and so forth;
Applications, Practice, and Experience
with Haskell for scientific and symbolic computing, database, multimedia and Web applications, and so forth as well as general experience with Haskell in education and industry;
Functional Pearls
being elegant, instructive examples of using Haskell.

Following the scheme adopted by ICFP 2002, papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program!

Submission Details

Deadline for submission: 24th May 2002 [Passed]
Notification of acceptance: 3rd July 2002
Final submission due: 15th August 2002
Haskell Workshop: 3rd October 2002

Authors should submit papers in postscript format, formatted for A4 paper, to Manuel Chakravarty (chak@cse.unsw.edu.au) by 24th May 2002. The length should be restricted to the equivalent of 5000 words (which is approximately 12 pages in ACM format). Accepted papers will be published by the ACM and will appear in the ACM Digital Library.

If there is sufficient demand, we would like to organise facilities for system demonstrations. If you are interested in demonstrating an application or tool written in Haskell or supporting Haskell development, please contact Manuel Chakravarty (chak@cse.unsw.edu.au).

Programme Committee

Manuel Chakravarty (chair) University of New South Wales
Conal Elliott Microsoft Research
John Hughes Chalmers University
Johan Jeuring Utrecht University
Simon Marlow Microsoft Research
Peter Thiemann University of Freiburg
Andrew Tolmach Portland State University
Malcolm Wallace University of York

Created by Manuel M T Chakravarty. Last modified: Mon Oct 28 21:59:06 EST 2002