Pages that link to "Item:Q1355750"

The following pages link to Type inference with non-structural subtyping (Q1355750):

Displaying 3 items.

• Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)
• Type inference for record concatenation and subtyping (Q1887147) (← links)
• Non-structural subtype entailment in automata theory (Q1887157) (← links)