
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
miniKanren 2021 | Committee Member in Program Committee within the miniKanren 2021-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile