Static Type Analysis for Python. - Tiancong Dong; Lin Chen 015; Zhaogui Xu; Bin Yu (IEEE WISA, 2014)