Strictness analysis using abstract reduction (1993)

by E Nocker
Venue:in ‘Proceedings of the Conference on Functional Programming Languages and Computer Architecture