Towards a Language for Defining Reusable Programming Language Components - (Project Paper). - Cas van der Rest; Casper Bach Poulsen (TFP, 2022)

Handling Higher-Order Effects. - Cas van der Rest; Jaro S. Reinders; Casper Bach Poulsen (CoRR, 2022)

Intrinsically-typed definitional interpreters à la carte. - Cas van der Rest; Casper Bach Poulsen; Arjen Rouvoet; Eelco Visser; Peter D. Mosses (Proc. ACM Program. Lang., 2022)

A completely unique account of enumeration. - Cas van der Rest; Wouter Swierstra (Proc. ACM Program. Lang., 2022)

Types and Semantics for Extensible Data Types. - Cas van der Rest; Casper Bach Poulsen (APLAS, 2023)

Types and Semantics for Extensible Data Types (Extended Version). - Cas van der Rest; Casper Bach Poulsen (CoRR, 2023)

Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. - Casper Bach Poulsen; Cas van der Rest (Proc. ACM Program. Lang., 2023)