Pages that link to "Item:Q1355750"
From MaRDI portal
The following pages link to Type inference with non-structural subtyping (Q1355750):
Displaying 10 items.
- Type inference with subtypes (Q914357) (← links)
- 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)
- Structural subtyping for inductive types with functorial equality rules (Q3535679) (← links)
- (Q4411952) (← links)
- (Q4992399) (← links)
- Type Inference for Correspondence Types (Q5170185) (← links)
- Stratified type inference for generalized algebraic data types (Q5348926) (← links)
- Types for Proofs and Programs (Q5712324) (← links)