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
View general profile