TIPICAL - Type Inference for Python In Critical Accuracy Level. - Jonathan Elkobi; Bernd Gruner; Tim Sonnekalb; Clemens-Alexander Brust (SERA, 2023)