Shin-ya Katsumata - ICFP 2017 (original) (raw)

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