TY  - RPRT
TI  - Exponential Automatic Amortized Resource Analysis
AU  - David M Kahn
AU  - Jan Hoffmann
PY  - 2020
UR  - https://arxiv.org/abs/2002.09519
ID  - 2002.09519
ER  -