Call for Participation

Haskell99 Workshop

http://www.haskell.org/HaskellWorkshop.html
Friday October 1st, 1999, Paris, France

The Third Haskell Workshop will take place in Paris, France as part of PLI'99.

Scope

The purpose of the workshop is to discuss experience with Haskell, and possible future developments of the language.

The lively discussions at the 1997 Haskell Workshop in Amsterdam about the future of Haskell led to the definition of Haskell'98, giving Haskell the stability that has so far been lacking. The road ahead to Haskell-2 has many opportunities for developing and enhancing Haskell in new and exciting ways. The third Haskell workshop presents six papers on the design, implementation, and use of Haskell.

In addition to longer presentations of pre-submitted papers, there will be the opportunity for participants to make 10-minute informal presentations, the wackier the better.

Registration

See the main PLI page for information on how to register for HASKELL99 and the other events making up PLI99.  The deadline for early registration is August 20

Program Friday October 1

Each contributed presentation will last 45 minutes, including questions. The proceedings will be published as an Utrecht University technical report and will be available at the time of the workshop.

We still accept slot bookings for the 10-minute talks on a first come first served basis.

8:30 - 9:30 PLI Invited talk

  • Mobility in the Join-Calculus
    Georges Gonthier (INRIA Rocquencourt, France)

9:45 - 10:45 Session 1 (Sigbjorn Finne)

  • Typing Haskell In Haskell
    Mark Jones (Oregon Graduate Institute, USA)
  • Haskell library template effort (10 minute slot)
    Andy Gill (Oregon Graduate Institute, USA)

10:45 - 11:15 Coffee break

11:15 - 12:45 Session 2 (Byron Cook)

  • Embedding Prolog in Haskell
    Mike Spivey and Silvija Seres (Oxford University, UK)
  • Logical Abstractions in Haskell
    Jeff Lewis, John Launchbury and Nancy Day (Oregon Graduate Institute, USA)

12:45 - 14:30 Lunch

14:30 - 16:00 Session 3 (Koen Claessen)

  • The Syntactical Subtleties of Haskell (Invited Talk)
    Simon Marlow (Microsoft Research Cambridge, UK)
  • Lightweight Extensible Records for Haskell
    Mark Jones (Oregon Graduate Institute, USA) and Simon Peyton Jones(Microsoft Research Cambridge, UK)

16:00 - 16:30 Tea time

16:30 - 18:00 Session 4 (Graham Hutton)

  • A Generic Programming Extension for Haskell
    Ralf Hinze (Bonn University, Germany)
  • Restricted Datatypes in Haskell
    John Hughes (Chalmers University, Sweden)

18:00 - 18:30 Session 5 (Colin Runciman)

  • The future of Haskell (Discussion)

Program Committee

Koen Claessen (Chalmers)
Byron Cook (OGI)
Sigbjorn Finne (Glasgow)
Gregory Hager (The Johns Hopkins University)
Fergus Henderson (Melbourne)
Graham Hutton (Nottingham)
Alexander Jacobson (shop.com)
Erik Meijer (Utrecht)
Colin Runciman (York)
Phillip Wadler (Bell Labs, Lucent Technologies)

Sponsors

The Haskell99 workshop is sponsored the following http://pauillac.inria.fr/pli/workshop_sponsors.html companies and organisations in general and in particular via the Jake project by the University Research Programs group of Microsoft Research Cambridge. The goal of Jake is to develop a set of Perl and Tcl free conference management tools completely programmed in Haskell.

Send questions and comments to [email protected]