Higher-Order Strictness Analysis in Untyped Lambda Calculus.

Paul Hudak, Jonathan Young

Browse the full POPL paper archive.