Pages that link to "Item:Q1337466"
From MaRDI portal
The following pages link to Efficient inference of partial types (Q1337466):
Displayed 8 items.
- Rational spaces and set constraints (Q671675) (← links)
- Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)
- Type inference with non-structural subtyping (Q1355750) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Type inference for record concatenation and subtyping (Q1887147) (← links)
- Non-structural subtype entailment in automata theory (Q1887157) (← links)
- Strong normalization with non-structural subtyping (Q4862765) (← links)
- Rational spaces and set constraints (Q5096725) (← links)