Pages that link to "Item:Q5096247"
From MaRDI portal
The following pages link to An extension of system F with subtyping (Q5096247):
Displaying 5 items.
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Types as parameters (Q5044771) (← links)
