Volume 41, Number 1, 2000

2000 ACM SIGPLAN Haskell Workshop
Montréal, Canada, 17th September 2000

• 
  Andy Gill: Debugging Haskell by Observing Intermediate Data Structures. 1
• 
  Graham Hutton: Preface. 2
• 
  Martin Erwig, Simon L. Peyton Jones: Pattern Guards and Transformational Patterns. 3
• 
  Jonas Holmerin, Björn Lisper: Data Field Haskell. 4
• 
  Ralf Hinze, Simon L. Peyton Jones: Derivable Type Classes. 5-35
• 
  Adam Bakewell, Colin Runciman: A Space Semantics for Core Haskell. 36
• 
  Koen Claessen, Peter Ljunglöf: Typed Logical Variables in Haskell. 37
• 
  S. Doaitse Swierstra: Combinator Parsers - From Toys to Tools. 38-59
• 
  Chris Okasaki: An Overview of Edison. 60-73
• 
  Erik Meijer, Danny van Velzen: Haskell Server Pages - Functional Programming and the Battle for the Middle Tier. 74
• 
  Simon Marlow: Developing High-Performance Server Applications in Haskell - Case Study: A Haskell Web Server. 75-90
• 
  Erik Meijer, Sigbjorn Finne: Lambada, Haskell as a Better Java. 91-119

Volume 41, Number 2, 2000

HLCL 2000: 4th International Workshop on High-Level Concurrent Languages
Montréal, Canada, September 20, 2000

• 
  Tom Chothia, Ian Stark: A Distributed Pi-Calculus with Local Areas of Communication. 1-16
• 
  Peter Sewell: Preface. 17-18

Volume 41, Number 3, 2000

HOOTS 2000: 4th International Workshop on Higher Order Operational Techniques in Semantics
Montréal, Canada, 22 September 2000

• 
  Simon Helsen, Peter Thiemann: Syntactic Type Soundness for the Region Calculus. 1-19
• 
  Yasuhiko Minamide: A New Criterion for Safe Program Transformations. 20-34
• 
  Roberto Virga: Efficient Substitution in Hoare Logic Expressions. 35-49
• 
  Michael Baldamus: First-order Semantics for Higher-order Processes. 50-69
• 
  Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo: Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. 70-88
• 
  Alan Jeffrey: Preface. 89