Cas van
der Rest, Casper Bach Poulsen, Arjen Rouvoet, Peter Mosses
and Eelco Visser, Intrinsically-Typed Definitional Interpreters
à la Carte, OOPSLA 2022
Cas van
der Rest, Casper Bach Poulsen, Arjen Rouvoet, Peter Mosses
and Eelco Visser, Intrinsically-Typed Definitional Interpreters
à la Carte (artifact), OOPSLA 2022
Cas van der Rest and Casper Bach Poulsen, Towards a Language for Defining Reusable Programming Language Components, TFP 2022
Cas van der Rest and 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