[TYPES] Gradual Typing for Objects

[Jeremy Siek]

Dear TYPES readers,

We're happy to announce a new paper that extends our work on
gradual typing (integrating static and dynamic typing). In this
paper we show how to provide gradual typing in object-oriented
languages with subtyping.

http://www.cs.colorado.edu/~siek/gradual-obj.pdf

We will present the paper at ECOOP 2007 and
would be especially interested in any feedback on the
paper before the final submission is due on April 25.

Best regards,
Jeremy Siek & Walid Taha

______________________________________
Jeremy Siek <jeremy.siek at colorado.edu>
http://www.cs.colorado.edu/~siek/
Visiting Assistant Professor
Department of Computer Science
University of Colorado at Boulder