Subtyping

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 View on conference website
Getting into the Flow
Creating good type error messages for constraint-based type inference systems is difficult. Typical type error messages reflect …
Cite DOI Github Project View on conference website