Pages that link to "Item:Q5176966"
From MaRDI portal
The following pages link to Set-theoretic foundation of parametric polymorphism and subtyping (Q5176966):
Displaying 7 items.
- Core algebra revisited (Q879364) (← links)
- Judgmental subtyping systems with intersection types and modal types (Q2510384) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- (Q5091145) (← links)
- Parametric polymorphism and semantic subtyping (Q5176967) (← links)
- (Q5216307) (← links)