Chiaki Ishio
where else to find them
github:chiaki-i
linkedin:chiakiishio
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Kenichi Asai2×
- Isao Sasanoonce
- Kwanghoon Choionce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| 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 | ||