Kwanghoon Choi
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Byeong-Mo Changonce
- Chiaki Ishioonce
- Isao Sasanoonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| A theory of RPC calculi for client–server model | ICFP 2020 | 2020-08-23 |
Extends existing stateless RPC calculi to a stateful calculi family that supports symmetric source-level RPC while implementing asymmetric, trampolined… | ||
| nothing matches | ||