conf.researchr.org / 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
Registered user since Mon 19 Aug 2024
Contributions