The Haskell Workshop is sponsored by ACM SIGPLAN and forms part of the PLI 2000 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), and Paris (1999).
| Deadline for submission: | 1st June 2000 |
| Notification of acceptance: | 14th July 2000 |
| Final submission due: | 11th August 2000 |
| Haskell Workshop: | 17th September 2000 |
Authors should submit papers of at most 12 pages, in postscript format, formatted for US letter or A4 paper, to Graham Hutton by 1st June 2000.
The accepted papers will initially appear as a University of Nottingham technical report, and subsequently be published in Electronic Notes in Theoretical Computer Science. Following on from the Haskell Workshop, there will be a Special Issue on Haskell of the Journal of Functional Programming.
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 Graham Hutton.
Writing
High-Performance Server Applications in Haskell
Case Study: A Haskell Web Server
Simon Marlow (Microsoft)
Haskell Server Pages:
Functional Programming and the Battle for the Middle Tier
Erik Meijer (Utrecht) and Danny van Velzen (Utrecht)
Combinator
Parsers: From Toys to Tools
Doaitse Swierstra (Utrecht)
Typed Logical
Variables in Haskell
Koen Claessen (Chalmers) and Peter Ljunglof (Chalmers)
10-minute slots
A Space-Semantics
for Core Haskell
Adam Bakewell (York) and Colin Runciman (York)
10-minute slots
Data Field
Haskell
Jonas Hormerin (KTH) and Bjorn Lisper (KTH)
Pattern Guards
and Transformational Patterns
Martin Erwig (Oregon) and Simon Peyton Jones (Microsoft)
Discussion: the future of Haskell (Ralf Hinze)
| Richard Bird | University of Oxford |
| Andy Gill | Oregon Graduate Institute |
| Ralf Hinze | University of Bonn |
| Paul Hudak | Yale University |
| Graham Hutton (chair) | University of Nottingham |
| Erik Meijer | University of Utrecht |
| Chris Okasaki | Columbia University |
| Tim Sheard | Oregon Graduate Institute |