Program Fragments, Linking, and Modularization (1997)

by Luca Cardelli, Luca Cardelli
Venue:In ACM Symp. on Principles of Programming Languages