| 2022 | A totally predictable outcome: an investigation of traversals of infinite structures. Gershom Bazerman |
| 2022 | Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou |
| 2022 | Embedded pattern matching. Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller |
| 2022 | Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022 Nadia Polikarpova |
| 2022 | How to safely use extensionality in Liquid Haskell. Niki Vazou, Michael Greenberg |
| 2022 | Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer |
| 2022 | Liquid proof macros. Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
| 2022 | Open transactional actions: interacting with non-transactional resources in STM Haskell. Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro |
| 2022 | Oregano: staging regular expressions with Moore Cayley fusion. Jamie Willis, Nicolas Wu, Tom Schrijvers |
| 2022 | Partial type constructors in practice. Apoorv Ingle, Alex Hubers, J. Garrett Morris |
| 2022 | Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell |