Geoffrey L. Burn, Chris Hankin, Samson Abramsky. The theory of strictness analysis for higher order functions. In Harald Ganzinger, Neil D. Jones, editors, Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985. Volume 217 of Lecture Notes in Computer Science, pages 42-62, Springer, 1985.
Abstract is missing.