| 2022 | Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. | Zhixuan Yang, Nicolas Wu |
| 2022 | Streams of Approximations, Equivalence of Recursive Effectful Programs. | Niccol Veltri, Niels F. W. Voorneveld |
| 2022 | Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. | Martin Sulzmann, Stefan Wehr |
| 2022 | Towards a Practical Library for Monadic Equational Reasoning in Coq. | Ayumu Saito, Reynald Affeldt |
| 2022 | Folding over Neural Networks. | Minh Nguyen, Nicolas Wu |
| 2022 | Flexibly Graded Monads and Graded Algebras. | Dylan McDermott, Tarmo Uustalu |
| 2022 | Calculating Datastructures. | Ralf Hinze, Wouter Swierstra |
| 2022 | Subtyping Without Reduction. | Brandon Hewer, Graham Hutton |
| 2022 | Breadth-First Traversal via Staging. | Jeremy Gibbons, Donnacha Oisn Kidney, Tom Schrijvers, Nicolas Wu |
| 2019 | Completeness and Incompleteness of Synchronous Kleene Algebra. | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2019 | Verified Self-Explaining Computation. | Jan Stolarek, James Cheney |
| 2019 | Handling Local State with Global State. | Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu |
| 2019 | Experiments in Information Flow Analysis. | Annabelle McIver |
| 2019 | Certification of Breadth-First Algorithms by Extraction. | Dominique Larchey-Wendling, Ralph Matthes |
| 2019 | Shallow Embedding of Type Theory is Morally Correct. | Ambrus Kaposi, Andrs Kovcs, Nicolai Kraus |
| 2019 | En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. | Robin Kaarsgaard, Niccol Veltri |
| 2019 | Unraveling Recursion: Compiling an IR with Recursion to System F. | Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler |
| 2019 | Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata. | Ralf Hinze |
| 2019 | Coding with Asymmetric Numeral Systems. | Jeremy Gibbons |
| 2019 | Cylindric Kleene Lattices for Program Construction. | Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth |
| 2019 | System F in Agda, for Fun and Profit. | James Chapman, Roman Kireev, Chad Nester, Philip Wadler |
| 2019 | How to Calculate with Nondeterministic Functions. | Richard S. Bird, Florian Rabe |
| 2019 | An Analysis of Repeated Graph Search. | Roland Carl Backhouse |
| 2019 | Setoid Type Theory - A Syntactic Translation. | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau |
| 2019 | A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning. | Reynald Affeldt, David Nowak, Takafumi Saikawa |