Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Harrison Grodin
conf.researchr.org general profile
POPL 2022 profile
POPL 2024 profile
POPL 2026 profile
Registered user since Sun 17 Jan 2021
Name:
Harrison Grodin
Contributions
2026
POPL
Author of Abstraction Functions as Types within the POPL-track
2024
POPL
Author of Decalf: A Directed, Effectful Cost-Aware Logical Framework within the POPL-track
2022
POPL
Author of A Cost-Aware Logical Framework within the POPL-track
Share
x
Sun 18 Jan 02:33