Strictness Analysis for Higher-Order Functions

Geoffrey L. Burn, Chris Hankin, Samson Abramsky. Strictness Analysis for Higher-Order Functions. Science of Computer Programming, 7(3):249-278, 1986.

Abstract

Abstract is missing.