Haskell 2009

14 papers

1. A compositional theory for STM Haskell · Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon
2. Alloy: fast generic transformations for Haskell · Neil C. C. Brown, Adam T. Sampson
3. Finding the needle: stack traces for GHC · Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach
4. Haskell Symposium Program Chair's Report · Stephanie Weirich
5. Lazy functional incremental parsing · Jean-Philippe Bernardy
6. Losing functions without gaining data: another look at defunctionalisation · Neil Mitchell, Colin Runciman
7. Parallel performance tuning for Haskell · Don Jones Jr., Simon Marlow, Satnam Singh
8. Push-pull functional reactive programming · Conal M. Elliott
9. Roll your own test bed for embedded real-time protocols: a haskell experience · Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
10. The architecture of the Utrecht Haskell compiler · Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
11. Tool DemonstrationCLasHFrom Haskell to Hardware · Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp
12. Type-safe observable sharing in Haskell · Andy Gill
13. Types are calling conventions · Maximilian C. Bolingbroke, Simon L. Peyton Jones
14. Unembedding domain-specific languages · Robert Atkey, Sam Lindley, Jeremy Yallop