Higher-order strictness analysis in untyped lambda calculus (1986)

by Paul Hudak, Jonathan Young
Venue:In Proc. 13th ACM Symp. on Principles of Programming Languages