ACM SIGPLAN Workshop Program
Haskell Workshop
Held in conjunction with
ICFP97
Amsterdam, The Netherlands
Saturday, June 7, 1997
Workshop Description
The definition of Haskell 1.4 has recently been released, but it is
clear that there are many exciting opportunities ahead for developing
and enhancing the language. Some of these will be in direct response to
needs demonstrated by large-scale applications written in Haskell, or
by Haskell being used in novel and interesting ways. Other developments
will be driven by more theoretical considerations, whether they
are moving in the direction of increased expressibility or,
alternatively, simplifications to the language by recognizing unifying
concepts. The purpose of the workshop is to provide a forum where
possible future development directions for Haskell may be discussed.
Workshop Program
Session 1. Chair: Lennart Augustsson
- 9:00-9:30
-
Type Classes: an exploration of the design space
Simon Peyton Jones, Mark Jones, and Erik Meijer
- 9:30-10:00
-
Polymorphic Extensible Records for Haskell
Benedict R. Gaster
- 10:00-10:30
-
The Design and Implementation of Mondrian
Erik Meijer and Koen Claessen
- 10:30-11:00
-
BREAK
Session 2. Chair: John Peterson
- 11:00-11:30
-
Reactive Objects in a Functional Language
Johan Nordlander and Magnus Carlsson
- 11:30-12:00
-
Debugging Reactive Systems in Haskell
Amr Sabry and Jan Sparud
- 12:00-12:30
-
Bulk Types with Class
Simon Peyton Jones
- 12:30-2:00
-
LUNCH
Session 3. Chair: Peter Thiemann
- 2:00-2:30
-
Disposable Memo Functions
Byron Cook and John Launchbury
- 2:30-3:00
-
Green Card: a foreign language interface for Haskell
Simon Peyton Jones, Thomas Nordin, and Alastair Reid
- 3:00-3:30
-
Heap Compression and Binary I/O in Haskell
Malcolm Wallace and Colin Runciman
- 3:30-4:00
-
BREAK
Session 4. Chair: John Launchbury
- 4:00-5:30
-
Open-mike Session: What next for Haskell?
Participants are invited to make 5-minute statements on the future
development of Haskell. These will be grouped by topic, and while
the statements are limited to 5 minutes, any ensuing discussion is not.
Anyone who wants to make a statement should indicate their desire in
advance of the session.
Registration and Important Dates
Details for registration can be found on the
ICFP page.
- February 14, 1997, Submission deadline.
- March 28, 1997, Program announcement.
- May 2, 1997, Deadline for final versions of extended abstracts.
- June 7, 1997, Workshop.
Workshop Organizer
Program Committee
- Lennart Augustsson (Chalmers)
- Mark Jones (Nottingham)
- John Launchbury (OGI) - Chair
- Erik Meijer (Utrecht)
- John Peterson (Yale)
- Satnam Singh (Glasgow)
- Peter Thiemann (Tuebingen)
October 15, 1996. J. Launchbury