@TechReport{dreyer+02,
  author = 	 {Derek Dreyer and Karl Crary and Robert Harper},
  title = 	 {A Type System for Higher-Order Modules (Expanded Version)},
  institution =  {Carnegie Mellon University School of Computer Science},
  year = 	 2002,
  number =	 {CMU--CS--02--122},
  address =	 {Pittsburgh, PA},
  month =	 {March}
}