The theory of strictness analysis for higher order functions (1985)

by G L Burn, C L Hankin, S Abramsky
Venue:In on Programs as data objects