An Empirical Study on Type Annotations: Accuracy, Speed, and Suggestion Effectiveness

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 30(2).