Joseph Vanderwaart Derek Dreyer Leaf Petersen Karl Crary Robert Harper Perry Cheng Typed compilation of recursive datatypes. 98-108 2003 conf/tldi/2003 TLDI http://doi.acm.org/10.1145/604174.604187 db/conf/tldi/tldi2003.html#VanderwaartDPCHC03