| 2007 | A functional-logic library for wired. Matthew Naylor, Emil Axelsson, Colin Runciman |
| 2007 | A lightweight interactive debugger for haskell. Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill |
| 2007 | A shortcut fusion rule for circular program calculation. João Paulo Fernandes, Alberto Pardo, João Saraiva |
| 2007 | A type-preserving closure conversion in haskell. Louis-Julien Guillemette, Stefan Monnier |
| 2007 | Beauty in the beast. Wouter Swierstra, Thorsten Altenkirch |
| 2007 | Comprehensive comprehensions. Simon L. Peyton Jones, Philip Wadler |
| 2007 | Demo outline: switched-on yampa. George Giorgidze, Henrik Nilsson |
| 2007 | Harpy: run-time code generation in haskell. Martin Grabmüller, Dirk Kleeblatt |
| 2007 | Haskell program coverage. Andy Gill, Colin Runciman |
| 2007 | Lightweight concurrency primitives for GHC. Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach |
| 2007 | Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007 Gabriele Keller |
| 2007 | Uniform boilerplate and list processing. Neil Mitchell, Colin Runciman |
| 2007 | Why it's nice to be quoted: quasiquoting for haskell. Geoffrey Mainland |
| 2007 | Xmonad. Don Stewart, Spencer Sjanssen |