Faithful Translations between Polyvariant Flows and Polymorphic Types
Abstract elided by the publisher.
Related papers
- A calculus with polymorphic and polyvariant flow types JFP 2002
- From Polyvariant flow information to intersection and union types JFP 2001
- Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators ICFP 2010
- Polymorphic Splitting: An Effective Polyvariant Flow Analysis TOPLAS 1998
- Dynamic data polyvariance using source-tagged classes DLS 2005
- From Polyvariant Flow Information to Intersection and Union Types POPL 1998
- Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis ICFP 2016
- Polyvariant Flow Analysis with Constrained Types ESOP 2000