Roberto M. Amadio, Yann Régis-Gianas. Certifying and Reasoning on Cost Annotations of Functional Programs. In Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska, editors, Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Volume 7177 of Lecture Notes in Computer Science, pages 72-89, Springer, 2011. [doi]
Abstract is missing.