Program fragments, linking, and modularization (1997)

by L Cardelli
Venue:In Proceedings of Symposium on Principles of Programming Languages (POPL