The ins and outs of gradual type inference.

Aseem Rastogi, Avik Chaudhuri, Basil Hosmer

Browse the full POPL paper archive.