Polar type inference with intersection types and \(\omega\)
scientific article; zbMATH DE number 6199139