An Automatic Amortized Analysis of the Resource Consumption of Functional Programs.

Jan Hoffmann
Published in: AlgoSyn (2010)