The following pages link to Higher-order subtyping (Q1392282):
Displaying 21 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- An extension of system \(F\) with subtyping (Q1322473) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Comparing object encodings. (Q1854318) (← links)
- Inheritance-based subtyping (Q1854552) (← links)
- Type system \(\lambda\omega\times_\leqq\) (Q2750979) (← links)
- Complexity of kernel fun subtype checking (Q2817692) (← links)
- Subtyping in logical form (Q2842836) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
- (Q3138546) (← links)
- Polarised subtyping for sized types (Q3535676) (← links)
- Syntactic Metatheory of Higher-Order Subtyping (Q3540196) (← links)
- Type-Based Termination with Sized Products (Q3540199) (← links)
- Coherence of subsumption for monadic types (Q3616445) (← links)
- (Q4870822) (← links)
- Inclusions and subtypes II: higher-order case (Q4895548) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- A Tutorial on Type-Based Termination (Q5191089) (← links)
- Subtyping dependent types (Q5958760) (← links)