TY  - RPRT
TI  - A cost-aware logical framework
AU  - Yue Niu
AU  - Jonathan Sterling
AU  - Harrison Grodin
AU  - Robert Harper
PY  - 2021
UR  - https://arxiv.org/abs/2107.04663
ID  - 2107.04663
ER  -