TY - RPRT TI - Automatic Amortized Resource Analysis with the Quantum Physicist's Method AU - David M Kahn AU - Jan Hoffmann PY - 2021 UR - https://arxiv.org/abs/2106.13936 ID - 2106.13936 ER -