Registered user since Wed 10 Nov 2021

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

Contributions

POPL 2022 A Cost-Aware Logical Framework
Show activities from other conferences

POPL 2022-profile
View general profile