![Atsushi Igarashi](https://icfp20.sigplan.org/getProfileImage/atsushiigarashi/0566a81b-ae53-4f77-ac0e-c5399b9362c4/small.jpg?1711474030000)
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
ICFP 2020-profile
View general profile
View general profile