Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhiyi Pan
conf.researchr.org general profile
ICFP 2020 profile
POPL 2024 profile
Registered user since Mon 17 Aug 2020
Name:
Zhiyi Pan
Affiliation:
University of Michigan
Contributions
2024
POPL
Author of Total Type Error Localization and Recovery with Holes within the POPL-track
2020
ICFP
Author of Type Hole Inference within the Student Research Competition-track
Share
x
Sun 22 Dec 02:12