Type inference is a special case of abstract interpretation: https://www.irif.fr/~mellies/mpri/mpri-ens/articles/cousot-t...

(Not that I've read that paper in detail, mind you...)