11 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Yue Niu, Jonathan Sterling, Harrison Grodin +1
We present calf, a cost-aware logical framework for studying quantitative aspects of functional programs. Taking inspiration…