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

by J Rehof, M Fähndrich
Venue:In Symp. on Princ. of Prog. Lang