A virtual class calculus.

Erik Ernst, Klaus Ostermann, William R. Cook

Browse the full POPL paper archive.