Type-based flow analysis: From polymorphic subtyping to CFL-reachability (2001)

by Jakob Rehof, Manuel Fähndrich
Venue:In POPL ’01: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages