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