APLAS 2019 (series) / Yuki Nishida
Registered user since Tue 4 Apr 2017
Name: Yuki Nishida
Affiliation: Kyoto University
Contributions
| APLAS 2019 | Author of Manifest Contracts with Intersection Types within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile