A Calculus for Compiling and Linking Classes.

Kathleen Fisher, John H. Reppy, Jon G. Riecke

Browse the full ESOP paper archive.