Haskell 2012

14 papers

1. Dependently typed programming with singletons · Richard A. Eisenberg, Stephanie Weirich
2. Feat: functional enumeration of algebraic types · Jonas Duregård, Patrik Jansson, Meng Wang
3. Guiding parallel array fusion with indexed types · Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
4. Layout-sensitive language extensibility with SugarHaskell · Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann
5. Monoids: theme and variations (functional pearl) · Brent A. Yorgey
6. Safe haskell · David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
7. Shrinking and showing functions: (functional pearl) · Koen Claessen
8. Surveyor: a DSEL for representing and analyzing strongly typed surveys · Wyatt Allen, Martin Erwig
9. Template your boilerplate: using template haskell for efficient generic programming · Michael D. Adams, Thomas DuBuisson
10. Testing type class laws · Johan Jeuring, Patrik Jansson, Cláudio Amaral
11. The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs · Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe
12. Vectorisation avoidance · Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones
13. Wormholes: introducing effects to FRP · Daniel Winograd-Cort, Paul Hudak
14. xmonad in Coq (experience report): programming a window manager in a proof assistant · Wouter Swierstra