The following pages link to (Q4281471):
Displaying 8 items.
- Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
- Bounded existentials and minimal typing (Q1127527) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Comparing object encodings. (Q1854318) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Logic of subtyping (Q2500487) (← links)
