An Alternative Constraint-solving Approach for Nominal Subtyping
Shengyi Jiang
In this problem session, we explore how to modify the constraint solving approach to solve a “constrained” nominal-subtyping problem.
In this problem session, we explore how to modify the constraint solving approach to solve a “constrained” nominal-subtyping problem.