An empirical study of the influence of static type systems on the usability of undocumented software

Abstract Although the study of static and dynamic type systems plays a major role in research, relatively little is known about the impact of type systems on software development. Perhaps one of th...