Higher order strictness analysis in untyped lambda calculus (1986)

by P Hudak, J Young
Venue:In the 12th Annual ACM Symposium on Principles of Programming Languages. ACM