Zachary Tatlock Chris Tucker David Shuffelton Ranjit Jhala Sorin Lerner Deep typechecking and refactoring. 37-52 2008 OOPSLA http://doi.acm.org/10.1145/1449764.1449768 conf/oopsla/2008 db/conf/oopsla/oopsla2008.html#TatlockTSJL08