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

Samson Abramsky, Thomas P. Jensen. A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. In POPL. pages 49-54, 1991.

Abstract

Abstract is missing.