

Haskell Symposium 2010

Baltimore MD, United States

Thursday, 30th September, 2010



Accepted Papers

Maciej Pirog and Dariusz Biernacki. A Systematic Derivation of the STG Machine Verified in Coq

Brent Yorgey . Species and Functors and Types, Oh My!

J. Garrett Morris . Experience Report: Using Hackage to Inform Language Design

John Launchbury and Trevor Elliott. Concurrent Orchestration in Haskell

Bryan O'Sullivan and Johan Tibell. Scalable Event Handling for GHC

Milan Straka . The performance of Haskell containers package

Max Bolingbroke and Simon Peyton Jones Supercompilation by Evaluation