Atsushi Igarashi - POPL 2017 (original) (raw)

Name:Atsushi Igarashi

Country:Japan

Affiliation:Kyoto University

Personal website: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

Research interests:Programming languages, Type Systems