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:17 - 1 self

Documents Related by Co-Citation

26 Strictness analysis and polymorphic invariance – S Abramsky - 1986
70 S.: Strictness analysis for higher-order functions – G L Burn, C L Hankin, Abramsky - 1986
52 Strictness Analysis on Non-Flat Domains (by Abstract Interpretation over Finite Domains) – Philip Wadler
44 Strictness Analysis in Logical Form – Thomas P. Jensen - 1991
47 Projection Factorisation in Partial Evaluation – John Launchbury - 1990
98 Projections for Strictness Analysis – Philip Wadler, R. J. M. Hughes - 1987
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
57 Strictness analysis: a new perspective based on type inference – Tsung-Min Kuo, Prateek Mishra - 1989
9 Abstract interpretation of first-order polymorphic functions – R J M Hughes - 1988
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
12 A note on abstract interpretation of polymorphic functions – G Baraki - 1989
16 PERs generalise projections for strictness analysis – S Hunt - 1990
939 A theory of type polymorphism in programming – Robin Milner - 1978
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
13 Parametricity of extensionally collapsed term models of polymorphism and their categorical properties – R Hasegawa
33 Strictness analysis --- a practical approach – Chris Clack, Simon L Peyton Jones - 1985
45 Functorial polymorphism – E S Bainbridge, P J Freyd, A Scedrov, P J Scott - 1990