@Unpublished{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},
  note = 	 {(Submitted for publication.)},
  month =	 {September},
  year =	 2002
}