A cost-aware logical framework

Yue Niu, Jonathan Sterling, Harrison Grodin +1

We present $\text{calf}$, a $\text{c}$ost-$\text{a}$ware $\text{l}$ogical $\text{f}$ramework for studying quantitative aspects of functional programs. Taking inspiration…