Exponential Automatic Amortized Resource Analysis.

David M. Kahn, Jan Hoffmann

Browse the full FOSSACS paper archive.