Automatic Amortized Resource Analysis with Regular Recursive Types.

Jessie Grosen, David M. Kahn, Jan Hoffmann

Browse the full LICS paper archive.