Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Harrison Grodin
conf.researchr.org general profile
POPL 2022 profile
POPL 2024 profile
Registered user since Sun 17 Jan 2021
Name:
Harrison Grodin
Contributions
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
Thu 21 Nov 13:03