Gradual typing for first-class classes. - Takikawa, Asumu; Strickland, T. Stephen; Dimoulas, Christos; Tobin-Hochstadt, Sam; Felleisen, Matthias (2012)