Cost Inference and Analysis for Recursive Functional Programs (2006)

by P B Vasconcelos