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