@TechReport{tarditi+:til-tr,
  author = 	 "David Tarditi and Greg Morrisett and Perry Cheng and Chris
		  Stone and Robert Harper and Peter Lee",
  title = 	 {{TIL}: A Type-Directed Optimizing Compiler for ML},
  institution =  {Carnegie Mellon University School of Computer Science},
  year = 	 1996,
  number =	 {CMU--CS--96--108},
  address =	 {Pittsburgh, PA},
  month =	 {February}
}