Python 3 types in the wild: a tale of two type systems. - Ingkarat Rak-amnouykit; Daniel McCrevan; Ana L. Milanova; Martin Hirzel; Julian Dolby (DLS, 2020)