| 2016 | Lazy graph processing in Haskell. | Philip Dexter, Yu David Liu, Kenneth Chiu |
| 2016 | How to twist pointers without breaking them. | Satvik Chauhan, Piyush P. Kurur, Brent A. Yorgey |
| 2016 | FitSpec: refining property sets for functional testing. | Rudy Braquehais, Colin Runciman |
| 2016 | Supermonads: one notion to bind them all. | Jan Bracker, Henrik Nilsson |
| 2016 | Experience report: types for a relational algebra library. | Lennart Augustsson, Mrten gren |
| 2015 | Dj Fu: a concurrency testing library for Haskell. | Michael Walker, Colin Runciman |
| 2015 | Improving implicit parallelism. | Jos Manuel Caldern Trilla, Colin Runciman |
| 2015 | Injective type families for Haskell. | Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg |
| 2015 | Type families with class, type classes with family. | Alejandro Serrano, Jurriaan Hage, Patrick Bahr |
| 2015 | Practical probabilistic programming with monads. | Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon |
| 2015 | Embedding a full linear Lambda calculus in Haskell. | Jeff Polakow |
| 2015 | Bridging the GUI gap with reactive values and relations. | Ivan Perez, Henrik Nilsson |
| 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 | Variations on variants. | J. Garrett Morris |
| 2015 | Type-safe runtime code generation: accelerate to LLVM. | Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton |
| 2015 | Freer monads, more extensible effects. | Oleg Kiselyov, Hiromi Ishii |
| 2015 | A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. | Adam Gundry |
| 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 | Functional pearl: getting a quick fix on comonads. | Kenneth Foner |
| 2015 | Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. | Andrew Farmer, Neil Sculthorpe, Andy Gill |
| 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 | Formally proving a compiler transformation safe. | Joachim Breitner |
| 2014 | Effect handlers in scope. | Nicolas Wu, Tom Schrijvers, Ralf Hinze |
| 2014 | LiquidHaskell: experience with refinement types in the real world. | Niki Vazou, Eric L. Seidel, Ranjit Jhala |