Write a Blog >>

Registered user since Fri 8 Nov 2019

Name:Yuya Tsuda
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