Jörgen Gustavsson

• Space-safe transformations and usage analysis for call-by-need languages