The following pages link to Higher-order subtyping (Q1392282):
Displayed 9 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Comparing object encodings. (Q1854318) (← 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)