Pedro B. Vasconcelos, Kevin Hammond. Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. In Philip W. Trinder, Greg Michaelson, Ricardo Pena, editors, Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Volume 3145 of Lecture Notes in Computer Science, pages 86-101, Springer, 2003. [doi]
No reviews for this publication, yet.