• Sign in
  • Sign up
conf.researchr.org / Cas van der Rest
  • APLAS 2023 profile
  • ICFP 2022 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • SPLASH 2022 profile
No Photo

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
xSat 24 May 21:39
using conf.researchr.org (v1.69.0)
Support page
Sign Up