Strictness analysis via type inference (1989)

by D A Wright