Jeremy G. Siek Walid Taha Gradual Typing for Objects. 2-27 2007 conf/ecoop/2007 ECOOP http://dx.doi.org/10.1007/978-3-540-73589-2_2 db/conf/ecoop/ecoop2007.html#SiekT07