Refactoring for generalization using type constraints.

Frank Tip, Adam Kiezun, Dirk Bumer

Browse the full OOPSLA paper archive.