Cas van der Rest
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects | POPL 2023 | 2023-01-15 |
Presents Hefty algebras that elaborate higher‑order operations into primitive algebraic effects while preserving modularity so handlers can be swapped without… | ||
| Intrinsically-Typed Definitional Interpreters à la Carte | OOPSLA 2022 | 2022-12-05 |
Presents a method for building modular, mechanically verified type-safe language components using intrinsically-typed definitional interpreters and a new… | ||
| A Completely Unique Account of Enumeration | ICFP 2022 | 2022-09-11 |
A datatype generic enumerator is built that works for all regular types and indexed families and is proven complete and unique: every inhabitant appears… | ||
| Latent Effects and Handlers + Automatic Differentiation via Effects and Handlers | PEPM 2021 | 2021-01-18 |
Two papers show concrete implementations: one adds latent effects to algebraic handlers (Acta implementation) so function abstractions and staging can get… | ||
| nothing matches | ||