Bibliography

[DKSS98]

Denys Duchier, Leif Kornstaedt, Christian Schulte, and Gert Smolka. A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling}. Technical report, Programming Systems Lab, DFKI and Universität des Saarlandes, 1998. DRAFT.


Denys Duchier, Leif Kornstaedt and Christian Schulte
Version 1.4.0 (20080702)