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

	
		OSZAR »