@TechReport{SwaseyMCH2006tr133,
  author="David Swasey and Tom Murphy VII and Karl Crary and Robert Harper",
  title="A Separate Compilation Extension to {Standard ML}",
  institution="School of Computer Science, Carnegie Mellon University",
  year=2006,
  month=sep,
  number="CMU-CS-06-133",
}