11 citations · 11 across the 1 of their papers we have counts for
1 paper · 1 filter
Harrison Grodin, Yue Niu, Jonathan Sterling +1
We present Decalf, a directed, effectful cost-aware logical framework for studying quantitative aspects of functional programs with effects. Like Calf, the language is based on an…