Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos. Cost Analysis Using Automatic Size and Time Inference. In Ricardo Pena, Thomas Arts, editors, Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Volume 2670 of Lecture Notes in Computer Science, pages 232-248, Springer, 2002. [doi]
Abstract is missing.