Haskell Symposium 2010
Baltimore MD, United States
Thursday, 30th September, 2010
Maciej Pirog and Dariusz Biernacki.
A Systematic Derivation of the STG Machine Verified in Coq
John Launchbury and Trevor Elliott.
Concurrent Orchestration in Haskell
Bryan O'Sullivan and Johan Tibell.
Scalable Event Handling for GHC
The performance of Haskell containers package
Tillmann Rendel and Klaus Ostermann
Invertible syntax descriptions: Unifying parsing and pretty printing