Deep typechecking and refactoring.

Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner

Browse the full OOPSLA paper archive.