@TechReport{swasey+06:sepcomp,
  author = 	 {David Swasey and Tom Murphy VII and Karl Crary and Robert Harper},
  title = 	 {A Separate Compilation Extension to Standard ML (Revised and Expanded)},
  institution =  {Carnegie Mellon University School of Computer Science},
  number =	 {CMU--CS--06--133},
  address =	 {Pittsburgh, PA},
  month =	 {September}
  year = 	 2006,
}