Strictness analysis using abstract reduction (1993)

by E Nöcker
Venue:In Proceedings of the conference on Functional programming languages and computer architecture