ICFP/SPLASH 2025 (series) / Yiyuan Cao
Registered user since Mon 19 Aug 2024
Name:Yiyuan Cao
Affiliation:Peking University
Personal website: https://yiyuan-cao.github.io/
Research interests:Programming Languages, Type Systems, Program Proof
Contributions
Using general profile