Pages that link to "Item:Q4005456"
From MaRDI portal
The following pages link to Coherence of subsumption, minimum typing and type-checking in F ≤ (Q4005456):
Displaying 24 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Bounded existentials and minimal typing (Q1127527) (← links)
- Dependent type system with subtyping I: Type level transitivity elimination (Q1273074) (← links)
- A meta-language for typed object-oriented languages (Q1350339) (← links)
- Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Comparing object encodings. (Q1854318) (← links)
- A sequent calculus for subtyping polymorphic types (Q1854408) (← links)
- Type destructors (Q1854494) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- Game Semantics for Bounded Polymorphism (Q2811332) (← links)
- Coherence of subsumption for monadic types (Q3616445) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- (Q4603450) (← links)
- R n - and G n -logics (Q4645806) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- Simple type-theoretic foundations for object-oriented programming (Q4764619) (← links)
- An operational semantics for TOOPLE: A statically-typed object-oriented programming language (Q5890071) (← links)
- Subtyping dependent types (Q5958760) (← links)