Cas van der Rest

According to our database, Cas van der Rest authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Hefty algebras: Modular elaboration of higher-order effects.

Cas van der Rest, Casper Bach

J. Funct. Program., 2025

2023

Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects.

Casper Bach Poulsen, Cas van der Rest

Proc. ACM Program. Lang., January, 2023

Types and Semantics for Extensible Data Types (Extended Version).

Cas van der Rest, Casper Bach Poulsen

CoRR, 2023

Types and Semantics for Extensible Data Types.

Cas van der Rest, Casper Bach Poulsen

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

A completely unique account of enumeration.

Cas van der Rest, Wouter Swierstra

Proc. ACM Program. Lang., 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

Handling Higher-Order Effects.

Cas van der Rest, Jaro S. Reinders, Casper Bach Poulsen

CoRR, 2022

Towards a Language for Defining Reusable Programming Language Components - (Project Paper).

Cas van der Rest, Casper Bach Poulsen

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022