conf.researchr.org / Yue Niu
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 |
Registered user since Wed 10 Nov 2021
Contributions
| POPL 2022 | Author of A Cost-Aware Logical Framework within the POPL-track |