Home » The empirical evidence that types affect productivity and correctness November 13, 2014 http://danluu.com/empirical-pl/