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