Projections for Polymorphic First-Order Strictness Analysis

John Hughes, John Launchbury. Projections for Polymorphic First-Order Strictness Analysis. Mathematical Structures in Computer Science, 2(3):301-326, 1992.

Abstract

Abstract is missing.