Registered user since Thu 18 Jul 2019
Name:Tomoya Tabuchi
Country:Japan
Affiliation:Kyoto University
Contributions
| WGT 2020 | Space-Efficient Gradual Typing in Coercion-Passing Style | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile