Strictness Analysis of Lazy Functional Programs (1992)

by P N Benton