Pages that link to "Item:Q1818009"
From MaRDI portal
The following pages link to Optimal representations of polymorphic types with subtyping (Q1818009):
Displaying 8 items.
- Polymorphic subtyping in O'Haskell (Q700972) (← links)
- Simplifying subtyping constraints: a theory (Q1854464) (← links)
- Simplifying subtyping constraints (Q2817691) (← links)
- (Q3416642) (← links)
- (Q4472542) (← links)
- (Q4812992) (← links)
- Inferring program specifications in polynomial-time (Q5030195) (← links)
- Pragmatic subtyping in polymorphic languages (Q5234269) (← links)