Strictness analysis in logical form (1991)

by T Jensen
Venue:Fifth ACM Conference on Functional Programming Languages and Computer Architecture, volume 523 of LNCS