Comparison of Type Systems
How analysis can hinder source code manipulaton And what to do about it Michael Ernst University of Washington.