Empirical studies on the impact of type systems

Suggestions and other works are very welcome. (It's github, you know how to contact me)