Optimality and ine ciency: What isn't a cost model of the lambda calculus (1996)

by Julia L Lawall, Harry G Mairson
Venue:In "Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming