Write a Blog >>

Registered user since Fri 8 Nov 2019

Name: Yuya Tsuda

Country: Japan

Affiliation: Kyoto University

Personal website: http://www.fos.kuis.kyoto-u.ac.jp/~tsuda/

Contributions

WGT 2020 Space-Efficient Gradual Typing in Coercion-Passing Style
Show activities from other conferences

POPL 2020-profile
View general profile