A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions (1991)

by Samson Abramsky, Thomas P. Jensen
Venue:In Proc. ACM Symposium on Principles of Programming Languages