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
ECOOP 2020 | Space-Efficient Gradual Typing in Coercion-Passing Style | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile