Automatic Amortized Resource Analysis with Regular Recursive Types. - Jessie Grosen; David M. Kahn; Jan Hoffmann 002 (LICS, 2023)