Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen: Gradual typing for first-class classes. OOPSLA 2012: 793-810