| 2010 | A generic deriving mechanism for Haskell. José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh |
| 2010 | A systematic derivation of the STG machine verified in Coq. Maciej Piróg, Dariusz Biernacki |
| 2010 | An llVM backend for GHC. David A. Terei, Manuel M. T. Chakravarty |
| 2010 | Concurrent orchestration in Haskell. John Launchbury, Trevor Elliott |
| 2010 | Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer |
| 2010 | Experience report: using hackage to inform language design. J. Garrett Morris |
| 2010 | Hoopl: a modular, reusable library for dataflow analysis and transformation. Norman Ramsey, João Dias, Simon L. Peyton Jones |
| 2010 | Invertible syntax descriptions: unifying parsing and pretty printing. Tillmann Rendel, Klaus Ostermann |
| 2010 | Nikola: embedding compiled GPU functions in Haskell. Geoffrey Mainland, Greg Morrisett |
| 2010 | Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010 Jeremy Gibbons |
| 2010 | Scalable i/o event handling for GHC. Bryan O'Sullivan, Johan Tibell |
| 2010 | Seq no more: better strategies for parallel Haskell. Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder |
| 2010 | Species and functors and types, oh my! Brent A. Yorgey |
| 2010 | Supercompilation by evaluation. Maximilian C. Bolingbroke, Simon L. Peyton Jones |
| 2010 | The performance of the Haskell containers package. Milan Straka |