Cost Analysis using Automatic Size and Time Inference (2003)

by Á Rebón Portillo, K Hammond, H-W Loidl, P B Vasconcelos
Venue:In Proc. IFL 2002 – Implementation of Functional Languages