A Calculus for Compiling and Linking Classes (2000)

by Kathleen Fisher, John Reppy, Jon Riecke
Venue:In ESOP Proceedings