Type-Based Complexity Analysis for Higher-Order Functional Programs
Christine Rizkallah
Peter Schachte
Computer science