Haskell 2010

14 papers

1. A generic deriving mechanism for Haskell · José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
2. A systematic derivation of the STG machine verified in Coq · Maciej Piróg, Dariusz Biernacki
3. An llVM backend for GHC · David A. Terei, Manuel M. T. Chakravarty
4. Concurrent orchestration in Haskell · John Launchbury, Trevor Elliott
5. 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
6. Experience report: using hackage to inform language design · J. Garrett Morris
7. Hoopl: a modular, reusable library for dataflow analysis and transformation · Norman Ramsey, João Dias, Simon L. Peyton Jones
8. Invertible syntax descriptions: unifying parsing and pretty printing · Tillmann Rendel, Klaus Ostermann
9. Nikola: embedding compiled GPU functions in Haskell · Geoffrey Mainland, Greg Morrisett
10. Scalable i/o event handling for GHC · Bryan O'Sullivan, Johan Tibell
11. Seq no more: better strategies for parallel Haskell · Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder
12. Species and functors and types, oh my! · Brent A. Yorgey
13. Supercompilation by evaluation · Maximilian C. Bolingbroke, Simon L. Peyton Jones
14. The performance of the Haskell containers package · Milan Straka