[TYPES] Gradual Typing for Objects

Jeremy Siek jeremy.siek at gmail.com
Mon Feb 12 01:14:35 EST 2007

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.


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>
Visiting Assistant Professor
Department of Computer Science
University of Colorado at Boulder

More information about the Types-list mailing list