First-Class Polymorphism

When Subtyping Constraints Liberate
Type inference in the presence of first-class or “impredicative” second-order polymorphism à la System F has been an active research …
PDF Cite DOI Github Project Tech. Report PDF View on conference website