A compositional approach to time analysis of first order lazy functional programs (1989)

by B Bjemer, A Holmstrom
Venue:In Proceedings Conference on Functional Programming Languages and Computer Architecture