Strictness Analysis in Logical Form (1991)

by T P Jensen
Venue:In Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture