| 2015 | A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. Adam Gundry |
| 2015 | Bridging the GUI gap with reactive values and relations. Ivan Perez, Henrik Nilsson |
| 2015 | Déjà Fu: a concurrency testing library for Haskell. Michael Walker, Colin Runciman |
| 2015 | Embedding a full linear Lambda calculus in Haskell. Jeff Polakow |
| 2015 | Formally proving a compiler transformation safe. Joachim Breitner |
| 2015 | Freer monads, more extensible effects. Oleg Kiselyov, Hiromi Ishii |
| 2015 | Functional pearl: getting a quick fix on comonads. Kenneth Foner |
| 2015 | Guilt free ivory. Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
| 2015 | Improving Haskell types with SMT. Iavor S. Diatchki |
| 2015 | Improving implicit parallelism. José Manuel Calderón Trilla, Colin Runciman |
| 2015 | Injective type families for Haskell. Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg |
| 2015 | Modular reifiable matching: a list-of-functors approach to two-level types. Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You |
| 2015 | Practical probabilistic programming with monads. Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon |
| 2015 | Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015 Ben Lippmeier |
| 2015 | Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. Andrew Farmer, Neil Sculthorpe, Andy Gill |
| 2015 | The remote monad design pattern. Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton |
| 2015 | Type families with class, type classes with family. Alejandro Serrano, Jurriaan Hage, Patrick Bahr |
| 2015 | Type-safe runtime code generation: accelerate to LLVM. Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton |
| 2015 | Variations on variants. J. Garrett Morris |