Cas van der Rest & Casper Bach Poulsen, Towards a Language for Defining Reusable Programming Language Components, Submitted Draft
Cas van der Rest & Wouter Swierstra, A Completely Unique Account of Enumeration, Submitted Draft
Cas van der Rest, Jaro Reinders & Casper Bach Poulsen, Handling Higher-Order Effects, Submitted Draft
Cas van der Rest & Casper Bach Poulsen, Towards a Language for Defining Reusable Programming Language Components (Extended Abstract), TFP 2022
Casper Bach Poulsen, Cas van der Rest & Tom Schrijvers, Staged Effects and Handlers for Modular Languages with Abstraction, PEPM 2021
Cas van der Rest, Wouter Swierstra, & Manuel Chakravarty, Generic Enumerators (Extended Abstract). TyDe 2019
Cas van der Rest, Generating Constrained Test Data using Datatype Generic Programming (Master’s thesis)