Registered user since Thu 10 Jul 2014

Name: Atsushi Igarashi

Country: Japan

Affiliation: Kyoto University, Japan

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

Research interests: Programming languages, Type Systems

Contributions