@inproceedings{PLDI-1996-TarditiMCSHL,
	author        = "David Tarditi and J. Gregory Morrisett and Perry Cheng and Christopher A. Stone and Robert Harper and Peter Lee",
	booktitle     = "{Proceedings of the 17th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/231379.231414",
	editor        = "Charles N. Fischer",
	isbn          = "0-89791-795-2",
	pages         = "181--192",
	publisher     = "{ACM}",
	title         = "{TIL: A Type-Directed Optimizing Compiler for ML}",
	year          = 1996,
}