Higher-order subtyping
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 954811 (Why is no real title available?)
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 47007 (Why is no real title available?)
- scientific article; zbMATH DE number 3485174 (Why is no real title available?)
- scientific article; zbMATH DE number 512778 (Why is no real title available?)
- scientific article; zbMATH DE number 512791 (Why is no real title available?)
- scientific article; zbMATH DE number 615137 (Why is no real title available?)
- scientific article; zbMATH DE number 2079017 (Why is no real title available?)
- scientific article; zbMATH DE number 1499107 (Why is no real title available?)
- scientific article; zbMATH DE number 944097 (Why is no real title available?)
- scientific article; zbMATH DE number 814801 (Why is no real title available?)
- A modest model of records, inheritance, and bounded quantification
- A new type assignment for λ-terms
- A semantics of multiple inheritance
- An extension of system \(F\) with subtyping
- Bounded existentials and minimal typing
- Bounded quantification is undecidable
- Coherence of subsumption, minimum typing and type-checking in F ≤
- Divergence of \(F_{\leq}\) type checking
- Inheritance as implicit coercion
- Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
- The lambda calculus, its syntax and semantics
Cited in
(28)- Coherence of subsumption for monadic types
- Syntactic Metatheory of Higher-Order Subtyping
- scientific article; zbMATH DE number 2079017 (Why is no real title available?)
- Foundations for the implementation of higher-order subtyping
- Type-Based Termination with Sized Products
- Taming the merge operator
- Inclusions and subtypes II: higher-order case
- Comparing object encodings.
- scientific article; zbMATH DE number 954811 (Why is no real title available?)
- Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
- scientific article; zbMATH DE number 431770 (Why is no real title available?)
- Typed operational semantics for higher-order subtyping.
- Polarised subtyping for sized types
- Subtyping dependent types
- Basic theory of \(F\)-bounded quantification.
- Inheritance-based subtyping
- Full abstraction in a subtyped pi-calculus with linear types
- A Tutorial on Type-Based Termination
- Order-sorted inductive types
- Complexity of kernel fun subtype checking
- An extension of system \(F\) with subtyping
- Type system \(\lambda\omega\times_\leqq\)
- scientific article; zbMATH DE number 1424051 (Why is no real title available?)
- scientific article; zbMATH DE number 860050 (Why is no real title available?)
- Polarized Subtyping for Sized Types
- Subtyping in logical form
- Anti-symmetry of higher-order subtyping and equality by subtyping
- Higher-order subtyping and its decidability
This page was built for publication: Higher-order subtyping
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1392282)
