Harrison
Grodin
Toggle navigation
about
publications
blog
cv
teaching
2022 01 16
Created in January 16, 2022
2022
📘 publish
A Cost-Aware Logical Framework
at
POPL 2022