Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng. Typed compilation of recursive datatypes. In Zhong Shao, Peter Lee, editors, Proceedings of TLDI 03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003. pages 98-108, ACM, 2003. [doi]
Abstract is missing.