Not registered as user yet

Name:Mirai Ikebuchi
Affiliation:Nagoya University

Contributions

POPL 2022 Certifying Derivation of State Machines from Coroutines
Show activities from other conferences

Using general profile