Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cas van der Rest
conf.researchr.org general profile
APLAS 2023 profile
ICFP 2022 profile
POPL 2021 profile
POPL 2023 profile
SPLASH 2022 profile
Not registered as user
Name:
Cas van der Rest
Country:
Netherlands
Affiliation:
Delft University of Technology
Contributions
2023
APLAS
Author of Types and Semantics for Extensible Data Types within the APLAS 2023-track
POPL
Author of Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects within the POPL-track
2022
SPLASH
Author of Intrinsically-Typed Definitional Interpreters à la Carte within the OOPSLA-track
ICFP
Author of A completely unique account of enumeration within the ICFP Papers and Events-track
2021
PEPM
Author of Staged Effects and Handlers for Modular Languages with Abstraction within the PEPM 2021-track
Share
x
Sun 22 Dec 03:23