Pages that link to "Item:Q808687"
From MaRDI portal
The following pages link to Type inference for record concatenation and multiple inheritance (Q808687):
Displaying 11 items.
- A lambda-calculus for dynamic binding (Q1127514) (← links)
- Type inference with non-structural subtyping (Q1355750) (← links)
- Superposition with datatypes and codatatypes (Q1799098) (← links)
- Type inference for record concatenation and subtyping (Q1887147) (← links)
- Intermediate representation of programs with type specification based on pattern matching (Q2217191) (← links)
- Labelled reductions, runtime errors, and operational subsumption (Q4572006) (← links)
- (Q4855342) (← links)
- Strong normalization with non-structural subtyping (Q4862765) (← links)
- A record calculus with principal types (Q5096310) (← links)
- TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS (Q5249029) (← links)
- A type system for effect handlers and dynamic labels (Q6535238) (← links)