A calculus for link-time compilation (2000)

by E Machkasova, F A Turbak
Venue:In ESOP 2000 - European Symposium on Programming 2000, number 1782 in Lecture Notes in Computer Science