![Koko Muroya](https://icfp22.sigplan.org/getProfileImage/kokomuroya/96f9e6b8-241f-4367-8416-bf5986847a8f/small.jpg?1711512184000)
Registered user since Fri 14 Jul 2017
Name:Koko Muroya
Country:Japan
Affiliation:RIMS, Kyoto University
Personal website: http://www.kurims.kyoto-u.ac.jp/~kmuroya/
Research interests:programming language theory
Contributions
ICFP 2022-profile
View general profile
View general profile