Haskell logo

Haskell Symposium 2010

Baltimore MD, United States
Thursday, 30th September, 2010
ACM logo

Accepted Papers

José Pedro Magalhães , Atze Dijkstra , Johan Jeuring and Andres Löh . A generic deriving mechanism for Haskell
Norman Ramsey , João Dias and Simon Peyton Jones . Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation
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
Simon Marlow, Patrick Maier , Hans-Wolfgang Loidl , Mustafa Aswad and Phil Trinder . Seq no more: Better Strategies for Parallel Haskell
Milan Straka . The performance of Haskell containers package
Geoffrey Mainland and Greg Morrisett . Nikola: Embedding Compiled GPU Functions in Haskell
David Terei and Manuel Chakravarty . An LLVM Backend For GHC
Max Bolingbroke and Simon Peyton Jones . Supercompilation by Evaluation
John van Groningen, Thomas van Noort , Peter Achten , Pieter Koopman and Rinus Plasmeijer . Exchanging Sources Between Clean and Haskell - A Double-Edged Front End for the Clean Compiler
Tillmann Rendel and Klaus Ostermann . Invertible syntax descriptions: Unifying parsing and pretty printing

Jeremy Gibbons