Kei Davis, Philip Wadler. Strictness Analysis in 4D. In Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst, editors, Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990. Workshops in Computing, pages 23-43, Springer, 1990. [doi]
Abstract is missing.