| 2017 | Algebraic graphs with class (functional pearl). | Andrey Mokhov |
| 2017 | Ode on a random urn (functional pearl). | Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner |
| 2017 | Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! | Georgios Karachalias, Tom Schrijvers |
| 2017 | A meta-EDSL for distributed web applications. | Anton Ekblad |
| 2017 | Composable network stacks and remote monads. | Justin Dawson, Mark Grebe, Andy Gill |
| 2017 | Streaming irregular arrays. | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
| 2017 | Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. | Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton |
| 2017 | Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. | Rudy Braquehais, Colin Runciman |
| 2017 | Quantified class constraints. | Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
| 2017 | Packrats parse in packs. | Mario Blazevic, Jacques Lgar |
| 2017 | Hardware software co-design in Haskell. | Markus Aronsson, Mary Sheeran |
| 2017 | QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). | Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
| 2016 | Experience report: developing high performance HTTP/2 server in Haskell. | Kazuhiko Yamamoto |
| 2016 | Causal commutative arrows revisited. | Jeremy Yallop, Hai Liu |
| 2016 | Autobahn: using genetic algorithms to infer strictness annotations. | Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher |
| 2016 | The Key monad: type-safe unconstrained dynamic typing. | Atze van der Ploeg, Koen Claessen, Pablo Buiras |
| 2016 | Pattern synonyms. | Matthew Pickering, Gergo rdi, Simon Peyton Jones, Richard A. Eisenberg |
| 2016 | Functional reactive programming, refactored. | Ivan Perez, Manuel Brenz, Henrik Nilsson |
| 2016 | Non-recursive make considered harmful: build systems at scale. | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow |
| 2016 | Desugaring Haskell's do-notation into applicative operations. | Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov |
| 2016 | Embedding session types in Haskell. | Sam Lindley, J. Garrett Morris |
| 2016 | Revisiting software transactional memory in Haskell. | Matthew Le, Ryan Yates, Matthew Fluet |
| 2016 | QuickFuzz: an automatic random fuzzer for common file formats. | Gustavo Grieco, Martn Ceresa, Pablo Buiras |
| 2016 | Free delivery (functional pearl). | Jeremy Gibbons |
| 2016 | High-performance client-side web applications through Haskell EDSLs. | Anton Ekblad |