Registered user since Fri 3 Jul 2015

Name: Zhiyuan Shi

Affiliation: University of Hong Kong, China

Contributions

ICFP 2016Author of Disjoint Intersection Types within the Research Papers-track