Kenichi Asai
where else to find them
what they talk about
where they keep going back
- PEPM3 editions2021–2025
all 4 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Typed and Unified Reflection for Shift and Shift0 | LOPSTR+PPDP 2026 | 2026-08-27 |
Establishes a typed, unified reflection for both shift and shift0 by deriving a two-CPS interpreter and a colon translation that yields a CPS target without… | ||
| Algebraic Stepper for Simple Modules | PEPM 2025 | 2025-01-21 |
An OCaml algebraic stepper is implemented for simple hierarchical modules (no functors or signature sealing) that shows execution by delayed substitution of… | ||
| Towards a Reflection for Effect Handlers | PEPM 2023 | 2023-01-16 |
Attempts to establish a reflection for algebraic effects use a simplest CPS translation (two continuations plus an aspirant construct) and a precisely… | ||
| Type System for Four Delimited Control Operators | GPCE 2022 | 2022-12-06 |
Presents a monomorphic type system that covers the four delimited control operators shift, control, shift0 and control0 by deriving types from a CPS… | ||
| Towards Dependently-Typed Control Effects (Extended Abstract) | TyDe 2022 | 2022-09-11 |
Design of a dependently-typed language with delimited control operators includes a purity restriction that types may depend only on pure terms and a selective… | ||
| A Functional Abstraction of Typed Trails + A Text-based Syntax Completion Method | PEPM 2021 | 2021-01-18 |
Presents a new type system that models continuation invocation contexts as functional trails so control and prompt can have heterogeneous trail types it claims… | ||
| nothing matches | ||