[tnovelli]

Interesting... I hadn't heard of Siek's work before. A link: http://ecee.colorado.edu/~siek/gradualtyping.html