Inferring Types by Mining Class Usage Frequency from Inline Caches
Nevena Milojković, Clément Béra, Mohammad Hossein Ghafari, Oscar Nierstrasz · 2016
Dynamically typed languages allow developers to write more expressive source code, but their lack of static information about types of variables increases the complexity of a program. Static type information about types of variables facilitates program comprehension and maintenance.