![Shin-ya Katsumata](https://popl17.sigplan.org/getProfileImage/shinyakatsumata/53de8011-3e39-4c39-838c-b0cbb15bcbee/small.jpg?1714832440000)
Registered user since Thu 3 Mar 2016
Name:Shin-ya Katsumata
Affiliation:Kyoto University
Personal website: http://www.kurims.kyoto-u.ac.jp/~sinya/index-e.html
Contributions
POPL 2017-profile
View general profile
View general profile
Registered user since Thu 3 Mar 2016
Contributions