Papers/Abstracts/etc...

See also my page on Google Scholar

2025

• Cas van der Rest, Bridging Specification and Implementation in Smart Contract Languages, submitted to FMBC 2025

2024

• Cas van der Rest, Reusable Programming Language Components (PhD Thesis, draft)

• Cas van der Rest and Casper Bach Poulsen, Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects (Extended Version), submitted to the Journal of Functional Programming (JFP)

2023

• Cas van der Rest and Casper Bach Poulsen, Types and Semantics for Extensible Data Types, APLAS 2023

• Cas van der Rest and Casper Bach Poulsen, Types and Semantics of Extensible Data Types (Extended Abstract), TYPES 2023

• Casper Bach Poulsen and 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 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

2021

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

2019

• Cas van der Rest, Wouter Swierstra, and Manuel Chakravarty, Generic Enumerators (Extended Abstract). TyDe 2019

• Cas van der Rest, Generating Constrained Test Data using Datatype Generic Programming (Master’s thesis)