Pages that link to "Item:Q1322473"
From MaRDI portal
The following pages link to An extension of system \(F\) with subtyping (Q1322473):
Displayed 14 items.
- Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
- Bounded existentials and minimal typing (Q1127527) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- A sequent calculus for subtyping polymorphic types (Q1854408) (← links)
- Type destructors (Q1854494) (← links)
- Assigning types to processes (Q1854525) (← links)
- Foundations for virtual types (Q1854531) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- Ott: Effective tool support for the working semanticist (Q5189646) (← links)
- Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)