Polymorphic Subtyping

Exploring First-Class Constrained Types
We study a first-class treatment of constrained types, which were previously confined mostly to ML-style polymorphism. We define System …
Cite View conference website