Registered user since Wed 10 Nov 2021

Name:Yue Niu
Country:United States
Affiliation:Carnegie Mellon University

Contributions

POPL 2022 Author of A Cost-Aware Logical Framework within the POPL-track