[TYPES] paper on gradual typing with inference

[Jeremy Siek]

Dear Colleagues,

We are pleased to share with you a new paper about integrating
gradual typing and unification-based type inference (which
underlies the Hindley-Milner type system). This was one of
those systems where the algorithm was easy to come up
with, but the type system was somewhat tricky.

http://ece.colorado.edu/~siek/pldi08gradual.pdf

Any comments or suggests are most welcome.

The paper is under review for PLDI 2008**.

Best regards,
Jeremy Siek & Manish Vachharajani

**The review was double blind, but the reviews have already been
submitted and the identities of the authors revealed.

____________________________________
Jeremy Siek <jeremy.siek at colorado.edu>
http://ece.colorado.edu/~siek/
Assistant Professor
Dept. of Electrical and Computer Engineering
University of Colorado at Boulder