On type-cases, union elimination, and occurrence typing. - Giuseppe Castagna; Mickaël Laurent; Kim Nguyen 001; Matthew Lutze (Proc. ACM Program. Lang., 2022)

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. - Magnus Madsen; Jonathan Lindegaard Starup; Matthew Lutze (ECOOP, 2023)

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact). - Magnus Madsen; Jonathan Lindegaard Starup; Matthew Lutze (Dagstuhl Artifacts Ser., 2023)

With or Without You: Programming with Effect Exclusion. - Matthew Lutze; Magnus Madsen; Philipp Schuster; Jonathan Immanuel Brachthäuser (Proc. ACM Program. Lang., 2023)

Associated Effects: Flexible Abstractions for Effectful Programming. - Matthew Lutze; Magnus Madsen (Proc. ACM Program. Lang., 2024)

The Simple Essence of Monomorphization. - Matthew Lutze; Philipp Schuster; Jonathan Immanuel Brachthäuser (Proc. ACM Program. Lang., 2025)