Upgradej: Incremental typechecking for class upgrades (0)

by G M Bierman, M J Parkinson, J Noble
Venue:in ECOOP, 2008