Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?

Julia L. Lawall, Harry G. Mairson

Browse the full ICFP paper archive.