Registered user since Wed 10 Nov 2021

Name:Yue Niu
Affiliation:Carnegie Mellon University

Contributions

POPL 2022 A cost-aware logical framework
Show activities from other conferences

Using general profile