Tsung-Min Kuo, Prateek Mishra: Strictness Analysis: A New Perspective Based on Type Inference. FPCA 1989: 260-272