Summary of Empirical Evidence for Types and Other Language Features [pdf]

quorumlanguage.com