When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism (Artifact)

This is the artifact of our POPL 2024 paper entitled "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism". You can find the latest version of the project at github.com/hkust-taco/superf and a web demo at hkust-taco.github.io/superf.