Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhiyuan Shi
conf.researchr.org general profile
ICFP 2016 profile
Registered user since Fri 3 Jul 2015
Name:
Zhiyuan Shi
Affiliation:
University of Hong Kong, China
Contributions
2016
ICFP
Author of Disjoint Intersection Types within the Research Papers-track
Share
x
Sat 21 Dec 15:25