[e-lang] [Fwd: [TYPES] Gradual Typing for Objects]

[David Hopwood]

Relevent to checking more guards at compile-time in E:

-------- Original Message --------
Subject: [TYPES] Gradual Typing for Objects
Date: Sun, 11 Feb 2007 23:14:35 -0700
From: Jeremy Siek <jeremy.siek at gmail.com>
To: type-list <types-list at lists.seas.upenn.edu>

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

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

-- 
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>