Registered user since Wed 12 Jan 2022

Name:Mirai Ikebuchi
Country:Japan
Affiliation:National Institute of Informatics

Contributions

POPL 2022 Author of Certifying Derivation of State Machines from Coroutines within the POPL-track
CUFP 2016 Committee Member in Program Committee within the CUFP-track