Projections for strictness analysis (1987)

by Philip Wadler, R J M Hughes
Venue:Proc. of the Conference on Functional Programming Languages and Computer Architecture