Investigating type declaration mismatches in Python. - Luca Pascarella; Achyudh Ram; Azqa Nadeem; Dinesh Bisesser; Norman Knyazev; Alberto Bacchelli (MaLTeSQuE, 2018)