Gradual typing for objects (2007)

by Jeremy Siek, Walid Taha
Venue:In Proc. European Conference on Object-oriented Programming