Registered user since Sun 3 Oct 2021
Name:Devon Loehr
Country:United States
Affiliation:Princeton University
Personal website: https://dkloehr.github.io/
GitHub: https://github.com/DKLOEHR
Research interests:Programming Language design, type systems
Contributions
POPL 2022-profile
View general profile
View general profile