The following pages link to Subtyping constrained types (Q5030204):
Displaying 6 items.
- Satisfying subtype inequalities in polynomial space (Q1605226) (← links)
- Simplifying subtyping constraints: a theory (Q1854464) (← links)
- Type inference for variant object types (Q1854549) (← links)
- Subtyping in logical form (Q2842836) (← links)
- Restricted weak type versus weak type (Q3155938) (← links)
- Subtyping dependent types (Q5958760) (← links)