Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Peter Mosses & Eelco Visser, Intrinsically-Typed Definitional Interpreters à la Carte, OOPSLA 2022
Cas van der Rest & Casper Bach Poulsen, Towards a Language for Defining Reusable Programming Language Components, TFP 2022
Cas van der Rest & Wouter Swierstra, A Completely Unique Account of Enumeration, ICFP 2022
Cas van der Rest, Jaro Reinders & Casper Bach Poulsen, Handling Higher-Order Effects, Unpublished Draft