Papers/Abstracts

2023

• Casper Bach Poulsen & Cas van der Rest, Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects, POPL 2023

2022

• 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

2021

• Casper Bach Poulsen, Cas van der Rest & Tom Schrijvers, Staged Effects and Handlers for Modular Languages with Abstraction, PEPM 2021

2019

• 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)