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

ICFP 2017 Activities

• Committee Member in Program Committee for ML 2017
• Author of Invited Talk: Semantics of Effect Systems by Graded Monads within the HOPE 2017-track in HOPE 2017
• Committee Member in Program Committee for ICFP 2017 Research Papers
• Show activities from other conferences