| 2022 | Breadth-First Traversal via Staging. Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu |
| 2022 | Calculating Datastructures. Ralf Hinze, Wouter Swierstra |
| 2022 | Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. Zhixuan Yang, Nicolas Wu |
| 2022 | Flexibly Graded Monads and Graded Algebras. Dylan McDermott, Tarmo Uustalu |
| 2022 | Folding over Neural Networks. Minh Nguyen, Nicolas Wu |
| 2022 | Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings Ekaterina Komendantskaya |
| 2022 | Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. Martin Sulzmann, Stefan Wehr |
| 2022 | Streams of Approximations, Equivalence of Recursive Effectful Programs. Niccolò Veltri, Niels F. W. Voorneveld |
| 2022 | Subtyping Without Reduction. Brandon Hewer, Graham Hutton |
| 2022 | Towards a Practical Library for Monadic Equational Reasoning in Coq. Ayumu Saito, Reynald Affeldt |