Amtoft, T. Strictness Types: An Inference Algorithm and an Application. DPB 1993, 22.