T. Amtoft, “Strictness Types: An Inference Algorithm and an Application”, DPB, vol. 22, no. 448, Aug. 1993.