"The ins and outs of gradual type inference."

Aseem Rastogi, Avik Chaudhuri, Basil Hosmer (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics