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

Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
January 2021
Cite DOI URL
Type
Journal article
Publication
Proc. ACM Program. Lang.