Registered user since Sun 17 Jan 2021

Name:Harrison Grodin
Affiliation:Carnegie Mellon University

Contributions

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

POPL 2022-profile
View general profile