Projections for strictness analysis (1987)

by P L Wadler, R J M Hughes
Venue:In Proc. of FPCA '87, LNCS 274