conf.researchr.org / Yiyuan Cao
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