Strictness analysis: A new perspective based on type inference (1989)

by Tsung-Min Kuo, Prateek Mishra
Venue:In Proceedings of FPCA’89