Skip to main content

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