| 2021 | Chesskell: a two-player game at the type level. Toby Bailey, Michael B. Gale |
| 2021 | Deadlock-free session types in linear Haskell. Wen Kokke, Ornela Dardha |
| 2021 | Design patterns for parser combinators (functional pearl). Jamie Willis, Nicolas Wu |
| 2021 | Evaluating linear functions to symmetric monoidal categories. Jean-Philippe Bernardy, Arnaud Spiwack |
| 2021 | Express: applications of dynamically typed Haskell expressions. Rudy Matela |
| 2021 | Graded monads and type-level programming for dependence analysis. Finnbar Keating, Michael B. Gale |
| 2021 | Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021 Jurriaan Hage |
| 2021 | Haskell⁻¹: automatic function inversion in Haskell. Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg |
| 2021 | Practical normalization by evaluation for EDSLs. Nachiappan Valliappan, Alejandro Russo, Sam Lindley |
| 2021 | Safe mutation with algebraic effects. Hashan Punchihewa, Nicolas Wu |
| 2021 | Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. Gert-Jan Bottu, Richard A. Eisenberg |