Effectiveness of Annotation-Based Static Type Inference. - Isabel Wingen; Philipp Körner (WFLP, 2020)