A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
2010
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10
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 higher-ranked types enables us to improve on the precision of conventional letpolymorphic analyses. Modularity and decidability of the analysis are guaranteed by making the analysis of each program parametric in the analyses of its inputs; in particular, we have that higher-order functions give rise to higher-order
doi:10.1145/1863543.1863554
dblp:conf/icfp/HoldermansH10
fatcat:q3jsirvqjzb4zhlbfp4tvuwohq