Haskell 2013

13 papers

1. Adding structure to monoids: thus hopefully ending Haskell's string type confusion · Mario BlaEevic
2. An EDSL approach to high performance Haskell programming · Johan Ankner, Josef Svenningsson
3. Causality of optimized Haskell: what is burning our cycles? · Peter Moritz Wortmann, David J. Duke
4. Data flow fusion with series expressions in Haskell · Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
5. Extensible effects: an alternative to monad transformers · Oleg Kiselyov, Amr Sabry, Cameron Swords
6. Hasochism: the pleasure and pain of dependently typed haskell programming · Sam Lindley, Conor McBride
7. Maintaining verified software · Joe Leslie-Hurd
8. Mio: a high-performance multicore io manager for GHC · Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto
9. Monadic functional reactive programming · Atze van der Ploeg
10. Names for free: polymorphic views of names and binders · Jean-Philippe Bernardy, Nicolas Pouillard
11. Splittable pseudorandom number generators using cryptographic hashing · Koen Claessen, Michal H. Palka
12. The Intel labs Haskell research compiler · Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson
13. Understanding idiomatic traversals backwards and forwards · Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers