Pages that link to "Item:Q1322473"

The following pages link to An extension of system \(F\) with subtyping (Q1322473):

Displaying 32 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)
• Covariant types (Q1390953) (← links)
• Higher-order subtyping (Q1392282) (← links)
• System ST toward a type system for extraction and proofs of programs (Q1400600) (← 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)
• Type system \(\lambda\omega\times_\leqq\) (Q2750979) (← links)
• Syntactical data types of system \(\mathcal F\) (Q2773019) (← links)
• Game Semantics for Bounded Polymorphism (Q2811332) (← links)
• Disjoint Polymorphism (Q2988630) (← links)
• The Essence of Dependent Object Types (Q3188291) (← links)
• (Q4364396) (← links)
• Efficient type checking for path polymorphism (Q4580227) (← links)
• Subtyping + extensionality: Confluence of βηtop reduction in F≤ (Q5096246) (← links)
• An extension of system F with subtyping (Q5096247) (← links)
• An imperative object calculus (Q5096750) (← links)
• Ott: Effective tool support for the working semanticist (Q5189646) (← links)
• Free Theorems and Runtime Type Representations (Q5262947) (← links)
• Contracts made manifest (Q5398336) (← links)
• Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)
• Language transformations in the classroom (Q6643747) (← links)