| 2023 | An Exceptional Actor System (Functional Pearl). | Patrick Redmond, Lindsey Kuper |
| 2023 | Haskell Library for Safer Virtual Machine Introspection (Experience Report). | Takato Otsuka, Hideya Iwasaki |
| 2023 | Effect Handlers for Programmable Inference. | Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay |
| 2023 | Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. | Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos |
| 2023 | This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. | Finnbar Keating, Michael B. Gale |
| 2023 | The Essence of Reactivity. | Ivan Perez, Frank Dedden |
| 2022 | Oregano: staging regular expressions with Moore Cayley fusion. | Jamie Willis, Nicolas Wu, Tom Schrijvers |
| 2022 | How to safely use extensionality in Liquid Haskell. | Niki Vazou, Michael Greenberg |
| 2022 | Embedded pattern matching. | Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller |
| 2022 | Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. | Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou |
| 2022 | Partial type constructors in practice. | Apoorv Ingle, Alex Hubers, J. Garrett Morris |
| 2022 | Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. | Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer |
| 2022 | Open transactional actions: interacting with non-transactional resources in STM Haskell. | Jonathas Augusto de Oliveira Conceio, Andr Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro |
| 2022 | Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. | Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell |
| 2022 | Liquid proof macros. | Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
| 2022 | A totally predictable outcome: an investigation of traversals of infinite structures. | Gershom Bazerman |
| 2021 | Design patterns for parser combinators (functional pearl). | Jamie Willis, Nicolas Wu |
| 2021 | Practical normalization by evaluation for EDSLs. | Nachiappan Valliappan, Alejandro Russo, Sam Lindley |
| 2021 | Haskell⁻¹: automatic function inversion in Haskell. | Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg |
| 2021 | Safe mutation with algebraic effects. | Hashan Punchihewa, Nicolas Wu |
| 2021 | Express: applications of dynamically typed Haskell expressions. | Rudy Matela |
| 2021 | Deadlock-free session types in linear Haskell. | Wen Kokke, Ornela Dardha |
| 2021 | Graded monads and type-level programming for dependence analysis. | Finnbar Keating, Michael B. Gale |
| 2021 | Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. | Gert-Jan Bottu, Richard A. Eisenberg |
| 2021 | Evaluating linear functions to symmetric monoidal categories. | Jean-Philippe Bernardy, Arnaud Spiwack |