Á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]
@inproceedings{PortilloHLV02,
title = {Cost Analysis Using Automatic Size and Time Inference},
author = {Álvaro J. Rebón Portillo and Kevin Hammond and Hans-Wolfgang Loidl and Pedro B. Vasconcelos},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=232},
tags = {analysis},
researchr = {https://researchr.org/publication/PortilloHLV02},
cites = {0},
citedby = {0},
pages = {232-248},
booktitle = {Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers},
editor = {Ricardo Pena and Thomas Arts},
volume = {2670},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40190-3},
}