Type names without static type checking already improve the usability of APIs (as long as the type names are correct): an empirical study. - Samuel Spiza; Stefan Hanenberg (MODULARITY, 2014)