Cas van der Rest

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 7

Top Topics

Database Server

Programming Language

Lambda Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

Casper Bach Poulsen, Cas van der Rest
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. Proc. ACM Program. Lang. 7 (POPL) (2023)
Cas van der Rest, Casper Bach Poulsen
Types and Semantics for Extensible Data Types. APLAS (2023)
Cas van der Rest, Casper Bach Poulsen
Types and Semantics for Extensible Data Types (Extended Version). CoRR (2023)
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses
Intrinsically-typed definitional interpreters à la carte. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Cas van der Rest, Jaro Reinders, Casper Bach Poulsen
Handling Higher-Order Effects. CoRR (2022)
Cas van der Rest, Casper Bach Poulsen
Towards a Language for Defining Reusable Programming Language Components - (Project Paper). TFP (2022)
Cas van der Rest, Wouter Swierstra
A completely unique account of enumeration. Proc. ACM Program. Lang. 6 (ICFP) (2022)