Space-Safe Transformations and Usage Analysis for Call-by-Need Languages (2001)

by J Gustavsson