@InProceedings{tarditi+:til,
  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}",
  pages =	 "181--192",
  booktitle =	 pldi,
  year =	 1996,
  address =	 "Philadelphia, PA",
  month =	 "May"
}