You are about to access our book library "Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems full version" .