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