Multivariate amortized resource analysis.

Jan Hoffmann, Klaus Aehlig, Martin Hofmann

Browse the full POPL paper archive.