Registered user since Thu 10 Jul 2014
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
Contributions
| POPL 2017 | Stateful Manifest Contracts | ||||||||||||||||||||||||||||||||||||||||
| PEPM 2017 | Verification of Code Generators via Higher-Order Model Checking | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile