@TechReport{modules.98,
  author = {Denys Duchier and Leif Kornstaedt and Christian Schulte and Gert Smolka}, 
  title =  {{A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling}}, 
  note  =  {DRAFT},
  INSTITUTION = {Programming Systems Lab, DFKI and Universit{\"a}t des 
Saarlandes},
  year = {1998}
}

