@inproceedings{3911fbcce4f04d54bff5013c6622916f,
title = "Inferring cost equations for recursive, polymorphic and higher-order functional programs",
abstract = "This paper presents a type-based analysis for inferring size-and cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annotations or unusual syntax. Our type reconstruction algorithm is capable of inferring first-order cost equations for a non-trivial subset of higher-order, recursive and polymorphic functions. We illustrate the approach with reference to some standard examples of recursive programs.",
author = "PB Vasconcelos and K Hammond",
note = "Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh; 15th International Workshop on Implementation of Functional Languages ; Conference date: 08-09-2003 Through 11-09-2003",
year = "2004",
doi = "10.1007/978-3-540-27861-0_6",
language = "English",
isbn = "3-540-23727-5",
series = "LECTURE NOTES IN COMPUTER SCIENCE",
publisher = "Springer-Verlag",
pages = "86--101",
editor = "P Trinder and G Michaelson and R Pena",
booktitle = "Implementation of Functional Languages",
address = "Germany",
}