Denys Duchier,
Leif Kornstaedt,
Christian Schulte and
Gert Smolka. A Higher-Order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling. Technical report, Technical Report, Programming Systems Lab, DFKI and Universität des Saarlandes, Saarbrücken, 1998. [Abstract] google [Annote]
|