ptype: probabilistic type inference

Published in Data Mining and Knowledge Discovery, 2020