Can static type systems speed up programming? an experimental evaluation of static and dynamic type systems - Kleinschmager, Sebastian (Anchor Academic Pub., 2013)