Trust, but Verify: Two-Phase Typing for Dynamic Languages.

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

Browse the full ECOOP paper archive.