2 search results - page 1 / 1 » Polyvariant flow analysis with higher-ranked polymorphic typ... |
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
POPL
1996
ACM
13 years 8 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...