Ordered sequences of data, specified with a join operation to combine
se...
We present decalf, a directed, effectful cost-aware logical framework fo...
Amortized analysis is a program cost analysis technique for data structu...
We present calf, a cost-aware
logical framework for studying quantitativ...