[Haskell] ACM SIGPLAN 2003 Haskell Workshop

Uppsala, Sweden
August 28, 2003


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

Preliminary Programme

8:45 Welcome
9:00--10:30 Chaired by Johan Jeuring
Functional pearl: Trouble shared is trouble halved.
Richard Bird and Ralf Hinze
The Yampa Arcade.
Antony Courtney, Henrik Nilsson, John Peterson
XML Templates and Caching in WASH.
Peter Thiemann
10:30--11:00 Coffee Break
11:00--12:30 Chaired by Jan-Willem Maessen. It might be useful to have a look at An Introduction to Quantum Computing for Non-Physicists when attending this session.
Tool Support for Refactoring Functional Programs.
Huiqing Li, Claus Reinke, Simon Thompson
Modeling Quantum Computing in Haskell.
Amr Sabry
Structure and Interpretation of Quantum Mechanics - a Functional Framework.
Jerzy Karczmarczuk
12:30--14:15 Lunch
14:15--15:45 Chaired by Olaf Chitil
Helium, for learning Haskell.
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
Interactive Type Debugging in Haskell.
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Tool Demo: HsDebug : Debugging Lazy Programs by not being Lazy. (20min)
Robert Ennals and Simon Peyton Jones
10min Talk:A Pure Language with Default Strict Evaluation Order and Explicit Laziness.
Tim Sheard
15:45--16:15 Tea Break
16:15--18:00 Chaired by Magnus Carlsson
Haskell and Principal Types.
Karl-Filip Faxén
Simulating Quantified Class Constraints. (15min)
Valery Trifonov
Tool Demo: Haskell Tools from the Programatica Project. (20min)
Thomas Hallgren
10min Talk: Records for Haskell. Input wanted from all Haskellers!
Simon Peyton Jones
Discussion: The Future of Haskell.
Henrik Nilsson

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.

You can register for the Haskell Workshop via the PLI'03 registration site.


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 2003, 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: May 22, 2003
Notification of acceptance: June 23, 2003
Final submission due: July 3, 2003
Haskell Workshop: August 28, 2003

Authors should submit papers in postscript format, formatted for A4 paper, to Johan Jeuring ([email protected]) by May 22, 2003. 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 Johan Jeuring ([email protected]).

Programme Committee

Magnus Carlsson OGI
Olaf Chitil University of York
Ralf Hinze University of Bonn
Johan Jeuring (chair) Utrecht University
Jan-Willem Maessen MIT
Henrik Nilsson Yale University
Simon Peyton Jones Microsoft Research
Claus Reinke University of Kent

Created by Johan Jeuring. Last modified: Wed Oct 19 23:53:17 BST 2005