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