The following pages link to Inheritance as implicit coercion (Q1175335):
Displaying 27 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- A lambda-calculus for dynamic binding (Q1127514) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Polymorphic lambda calculus and subtyping. (Q1605176) (← links)
- Open and closed scopes for constrained genericity (Q1606127) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Type-based hot swapping of running modules (Q1772100) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- A Parametric Calculus for Mobile Open Code (Q2864499) (← links)
- CPO-models for second order lambda calculus with recursive types and subtyping (Q3142273) (← links)
- Coercions in a polymorphic type system (Q3520150) (← links)
- Structural subtyping for inductive types with functorial equality rules (Q3535679) (← links)
- Coherence of subsumption for monadic types (Q3616445) (← links)
- Refinement Types as Proof Irrelevance (Q3637193) (← links)
- A model for syntactic control of interference (Q4286528) (← links)
- Labelled reductions, runtime errors, and operational subsumption (Q4572006) (← links)
- (Q4603450) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- (Q5089030) (← links)
- The coherence of languages with intersection types (Q5096244) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- Operational interpretations of an extension of F<sub>ω</sub> with control operators (Q5687907) (← links)
- A syntax for linear logic (Q5890063) (← links)
- Subtyping dependent types (Q5958760) (← links)
