S.: Strictness analysis for higher-order functions (1986)

by G L Burn, C L Hankin, Abramsky
Venue:Sci. Comput. Program