Pages that link to "Item:Q4924527"
From MaRDI portal
The following pages link to Intersection Types and Computational Rules (Q4924527):
Displaying 9 items.
- Type interaction models and the rule of six (Q868601) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Disjoint intersection types (Q2985786) (← links)
- (Q4708431) (← links)
- (Q4783322) (← links)
- Intersection and union types (Q5096243) (← links)
- (Q5277832) (← links)
- Intersection types in Java: back to the future (Q6165811) (← links)