Type-Based Amortized Resource Analysis with Integers and Arrays. (2014)

by J Hoffmann, Z Shao
Venue:In 12th International Symposium on Functional and Logic Programming (FLOPS’14),