| 2012 | Dependently typed programming with singletons. Richard A. Eisenberg, Stephanie Weirich |
| 2012 | Feat: functional enumeration of algebraic types. Jonas Duregård, Patrik Jansson, Meng Wang |
| 2012 | Guiding parallel array fusion with indexed types. Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2012 | Layout-sensitive language extensibility with SugarHaskell. Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann |
| 2012 | Monoids: theme and variations Brent A. Yorgey |
| 2012 | Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012 Janis Voigtländer |
| 2012 | Safe haskell. David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières |
| 2012 | Shrinking and showing functions: Koen Claessen |
| 2012 | Surveyor: a DSEL for representing and analyzing strongly typed surveys. Wyatt Allen, Martin Erwig |
| 2012 | Template your boilerplate: using template haskell for efficient generic programming. Michael D. Adams, Thomas Dubuisson |
| 2012 | Testing type class laws. Johan Jeuring, Patrik Jansson, Cláudio Amaral |
| 2012 | The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe |
| 2012 | Vectorisation avoidance. Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones |
| 2012 | Wormholes: introducing effects to FRP. Daniel Winograd-Cort, Paul Hudak |
| 2012 | xmonad in Coq Wouter Swierstra |