A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions.

Samson Abramsky, Thomas P. Jensen

Browse the full POPL paper archive.