A unifying type-theory for higher-order (amortized) cost analysis

Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
Jan 1, 2021
DOI URL