Omnidirectional type inference for ML: principality any way

Short summary

A new omnidirectional type inference algorithm restores principality (unique most general type) to ML-like languages extended with fragile features like static overloading and first-class polymorphism, by allowing type information to flow dynamically rather than in a fixed order.

AI-generated from the title and abstract; the full text is not read.