Towards Practical Gradual Typing [pdf]

Here's some more context info for the paper: http://2015.ecoop.org/event/research-track-towards-practical...