@InProceedings{vanderwaart+:datatypes,
  author = 	 {Joseph C. Vanderwaart and Derek R. Dreyer and Leaf Petersen and Karl Crary and Robert Harper},
  title = 	 {Typed Compilation of Recursive Datatypes},
  booktitle = 	 {Proceedings of the {TLDI 2003}: {ACM} {SIGPLAN} International Workshop on Types in Language Design and Implementation},
  pages =	 {98--108},
  year =	 2003,
  address =	 {New Orleans, LA},
  month =	 {January}
}