Pages that link to "Item:Q1322473"
From MaRDI portal
The following pages link to An extension of system \(F\) with subtyping (Q1322473):
Displaying 20 items.
- Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
- Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions (Q764331) (← 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)
- Formal metatheory of programming languages in the Matita interactive theorem prover (Q1945919) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Game Semantics for Bounded Polymorphism (Q2811332) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
- The Essence of Dependent Object Types (Q3188291) (← links)
- (Q4580227) (← links)
- Free Theorems and Runtime Type Representations (Q5262947) (← links)
