Registered user since Fri 3 Jul 2015

Name: Zhiyuan Shi

Affiliation: University of Hong Kong, China

ICFP 2016 Activities

• Author of Disjoint Intersection Types within the Research Papers-track in ICFP 2016
• Show activities from other conferences