Polymorphic splitting: An effective polyvariant flow analysis (1998)

by A K Wright, S Jagannathan
Venue:ACM Transactions on Programming Languages and Systems. January