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

by A Leung, P Mishra
Venue:Proc. of 5th ACM Conference on Functional Programming Languages and Computer Architecture, LNCS