Registered user since Fri 14 Jul 2017
Name:Koko Muroya
Affiliation:RIMS, Kyoto University, JP
Personal website: http://www.kurims.kyoto-u.ac.jp/~kmuroya/
Research interests:programming language theory
Contributions
ICFP 2020-profile
View general profile
View general profile