Reasoning about simple and exhaustive demand in higher-order lazy languages (1991)

by A Leung, P Mishra
Venue:Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture (FPCA '91). LNCS523