Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Atsushi Igarashi

Registered user since Thu 10 Jul 2014

Name:Atsushi Igarashi
Country:Japan
Affiliation:Kyoto University, Japan
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