A Relational Approach to Strictness Analysis for Higher−Order Polymorphic Functions
S. Abramsky and T. Jensen
Book Title
ACM Symposium on Principles of Programming Languages
Pages
49−55
Publisher
ACM Press
Year
1991
S. Abramsky and T. Jensen