Strictness Analysis: a New Perspective Based on Type Inference (1989)

by T-M Kuo, P Mishra
Venue:In FPCA’89 — Conference on Functional Programming Languages and Computer Architecture