APLAS 2020 (series) / Atsushi Igarashi
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
| APLAS 2020 | Workshop Chair in Organising Committee Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
APLAS 2020-profile
View general profile
View general profile