Static vs. dynamic type systems: an empirical study about the relationship between type casts and development time 2011 By Stefan Hanenberg. At http://courses.cs.washington.edu/courses/cse590n/10au/hanenberg-oopsla2010.pdf
