Type inference is a special case of abstract interpretation: https://www.irif.fr/~mellies/mpri/mpri-ens/articles/cousot-types-as-abstract-interpretations.pdf ht

Type inference is a special case of abstract interpretation: https://www.irif.fr/~mellies/mpri/mpri-ens/articles/cousot-types-as-abstract-interpretations.pdf https://www.irif.fr/~mellies/mpri/mpri-ens/articles/cousot-t... (Not that I've read that paper in detail, mind you...)