Write a Blog >>

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