A fragment calculus—towards a model of separate compilation, linking and binary compatibility (1999)

by S Drossopoulou, S Eisenbach, D Wragg
Venue:In Proceedings of LICS