APLAS 2019 (series) / Yuki Nishida
Registered user since Tue 4 Apr 2017
Name: Yuki Nishida
Affiliation: Kyoto University
Contributions
APLAS 2019 | Manifest Contracts with Intersection Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
APLAS 2019-profile
View general profile
View general profile