A relational approach to strictness analysis for higher-order polymorphic functions (1991)

by S A Abramsky, T P Jensen
Venue:in: Eighteenth Ann. ACM Symp. on Princ. of Program. Lang., ACM