Registered user since Wed 12 Jan 2022

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

Contributions

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

POPL 2022-profile
View general profile