ManyTypes4Py: A Benchmark Python Dataset for Machine Learning-based Type Inference | IEEE Conference Publication | IEEE Xplore