Complexity Analysis for a Lazy Higher-Order Language (1990)

by David Sands
Venue:In Proceedings of the 3rd European Symposium on Programming