Shin-ya Katsumata

Registered user since Thu 3 Mar 2016

Name:Shin-ya Katsumata
Country:Japan
Affiliation:National Institute of Informatics
Research interests:Programming language semantics, Type system

Contributions