| 2000 | A Space Semantics for Core Haskell. Adam Bakewell, Colin Runciman |
| 2000 | An Overview of Edison. Chris Okasaki |
| 2000 | Combinator Parsers - From Toys to Tools. S. Doaitse Swierstra |
| 2000 | Data Field Haskell. Jonas Holmerin, Björn Lisper |
| 2000 | Debugging Haskell by Observing Intermediate Data Structures. Andy Gill |
| 2000 | Derivable Type Classes. Ralf Hinze, Simon L. Peyton Jones |
| 2000 | Developing High-Performance Server Applications in Haskell - Case Study: A Haskell Web Server. Simon Marlow |
| 2000 | Haskell Server Pages - Functional Programming and the Battle for the Middle Tier. Erik Meijer, Danny van Velzen |
| 2000 | Lambada, Haskell as a Better Java. Erik Meijer, Sigbjørn Finne |
| 2000 | Pattern Guards and Transformational Patterns. Martin Erwig, Simon L. Peyton Jones |
| 2000 | Preface. Graham Hutton |
| 2000 | Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000 Graham Hutton |
| 2000 | Typed Logical Variables in Haskell. Koen Claessen, Peter Ljunglöf |