A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions (1991)

Cached

Download Links

by Samson Abramsky , Thomas P. Jensen
Venue:In Proc. ACM Symposium on Principles of Programming Languages
Citations:18 - 1 self

Active Bibliography

25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
Introduction to Abstract Interpretation – Mads Rosendahl
467 Comprehending Monads – Philip Wadler - 1992
1353 Monads for functional programming – Philip Wadler - 1995
766 Notions of Computation and Monads – Eugenio Moggi - 1991
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
339 Theorems for free! – Philip Wadler - 1989