Type-base flow analysis: from polymorphic subtyping to CFL-reachability.

Jakob Rehof, Manuel Fhndrich

Browse the full POPL paper archive.