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
View general profile