Kazuki Ikemori
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Youyou Cong3×
- Daan Leijenonce
- Filip Strömbäckonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Continuations for All: Language Design Considerations for Accessible Continuations | SPLASH-E 2025 | 2025-10-18 |
Claims a beginner-friendly design makes continuations easier to learn and shows concrete results from a course using Pyret-cont: three constructs (grab and… | ||
| Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operat... | PPDP 2023 | 2023-10-22 |
Formalizes four calculi (effect handlers vs delimited-control, static vs generative labels), gives a concrete type system for each and proves type soundness… | ||
| First-class Names for Effect Handlers | OOPSLA 2022 | 2022-12-05 |
Claim: treating first-class handler names as values plus scoped effects with rank-2 polymorphism prevents name-escaping without new language primitives. Paper… | ||
| nothing matches | ||