Shin-ya Katsumata - ICFP 2017

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Registered user since Thu 3 Mar 2016

Name:Shin-ya Katsumata

Country:Japan

Affiliation:National Institute of Informatics

Personal website: http://www.kurims.kyoto-u.ac.jp/~sinya/index-e.html

Research interests:Programming language semantics, Type system

Contributions

2017

ICFP

Committee Member in Program Committee within the Research Papers-track

ML

Committee Member in Program Committee within the ML 2017-track

HOPE

Invited Talk: Semantics of Effect Systems by Graded Monads

Show activities from other conferences

ICFP 2017-profile
View general profile