Publication has no abstract
- The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programsAndrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe. 1-12 [doi]
- Template your boilerplate: using Template Haskell for efficient generic programmingMichael D. Adams, Thomas Dubuisson. 13-24 [doi]
- Guiding parallel array fusion with indexed typesBen Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones. 25-36 [doi]
- Vectorisation avoidanceGabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones. 37-48 [doi]
- Testing type class lawsJohan Jeuring, Patrik Jansson, Cláudio Amaral. 49-60 [doi]
- Feat: functional enumeration of algebraic typesJonas Duregård, Patrik Jansson, Meng Wang. 61-72 [doi]
- Shrinking and showing functions (functional pearl)Koen Claessen. 73-80 [doi]
- Surveyor: a DSEL for representing and analyzing strongly typed surveysWyatt Allen, Martin Erwig. 81-90 [doi]
- Wormholes: introducing effects to FRPDaniel Winograd-Cort, Paul Hudak. 91-104 [doi]
- Monoids: theme and variations (functional pearl)Brent A. Yorgey. 105-116 [doi]
- Dependently typed programming with singletonsRichard A. Eisenberg, Stephanie Weirich. 117-130 [doi]
- xmonad in Coq (experience report): programming a window manager in a proof assistantWouter Swierstra. 131-136 [doi]
- Safe HaskellDavid Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières. 137-148 [doi]
- Layout-sensitive language extensibility with SugarHaskellSebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann. 149-160 [doi]