Typed compilation of recursive datatypes (2003)

by Joseph C Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
Venue:ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI