Amtoft, Torben. 1993. “Strictness Types: An Inference Algorithm and an Application”. DAIMI Report Series 22 (448). https://doi.org/10.7146/dpb.v22i448.6765.