| 2021 | Chesskell: a two-player game at the type level. | Toby Bailey, Michael B. Gale |
| 2020 | Eliminating bugs with dependent Haskell (experience report). | Noam Zilberstein |
| 2020 | Effect handlers in Haskell, evidently. | Ningning Xie, Daan Leijen |
| 2020 | Towards secure IoT programming in Haskell. | Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen |
| 2020 | Scripted signal functions. | David A. Stuart |
| 2020 | Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl). | Armando Santos, Jos N. Oliveira |
| 2020 | Staged sums of products. | Matthew Pickering, Andres Lh, Nicolas Wu |
| 2020 | Composing effects into tasks and workflows. | Yves Pars, Jean-Philippe Bernardy, Richard A. Eisenberg |
| 2020 | Assessing the quality of evolving Haskell systems by measuring structural inequality. | Sander Kamps, Bastiaan Heeren, Johan Jeuring |
| 2020 | A graded Monad for deadlock-free concurrency (functional pearl). | Andrej Ivaskovic, Alan Mycroft |
| 2020 | Stitch: the sound type-indexed type checker (functional pearl). | Richard A. Eisenberg |
| 2020 | Finger trees explained anew, and slightly simplified (functional pearl). | Koen Claessen |
| 2020 | Describing microservices using modern Haskell (experience report). | Alejandro Serrano, Flavio Corpa |
| 2019 | Generic and flexible defaults for verified, law-abiding type-class instances. | Ryan G. Scott, Ryan R. Newton |
| 2019 | Monad transformers and modular algebraic effects: what binds them together. | Tom Schrijvers, Maciej Pirg, Nicolas Wu, Mauro Jaskelioff |
| 2019 | Working with source plugins. | Matthew Pickering, Nicolas Wu, Boldizsr Nmeth |
| 2019 | Multi-stage programs in context. | Matthew Pickering, Nicolas Wu, Csongor Kiss |
| 2019 | Bidirectional type class instances. | Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers |
| 2019 | Formal verification of spacecraft control programs (experience report). | Andrey Mokhov, Georgy Lukyanov, Jakob Lechner |
| 2019 | G2Q: Haskell constraint solving. | William T. Hallahan, Anton Xue, Ruzica Piskac |
| 2019 | Synthesizing functional reactive programs. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2019 | STCLang: state thread composition as a foundation for monadic dataflow parallelism. | Sebastian Ertel, Justus Adam, Norman A. Rink, Andrs Goens, Jernimo Castrilln |
| 2019 | Scoping monadic relational database queries. | Anton Ekblad |
| 2019 | Making a faster Curry with extensional types. | Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
| 2019 | Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. | Dominique Devriese |