| 2005 | Darcs: distributed version management in haskell. David Roundy |
| 2005 | Dynamic applications from the ground up. Don Stewart, Manuel M. T. Chakravarty |
| 2005 | Halfs: a haskell filesystem. Isaac Jones |
| 2005 | Haskell on a shared-memory multiprocessor. Tim Harris, Simon Marlow, Simon L. Peyton Jones |
| 2005 | Haskell ready to dazzle the real world. Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag |
| 2005 | Haskell server pages through dynamic loading. Niklas Broberg |
| 2005 | Polymorphic string matching. Richard S. Bird |
| 2005 | Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005 Daan Leijen |
| 2005 | Putting curry-howard to work. Tim Sheard |
| 2005 | There and back again: arrows for invertible programming. Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
| 2005 | TypeCase: a design pattern for type-indexed functions. Bruno C. d. S. Oliveira, Jeremy Gibbons |
| 2005 | Verifying haskell programs using constructive type theory. Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell |
| 2005 | Visual haskell: a full-featured haskell development environment. Krasimir Angelov, Simon Marlow |