Pages that link to "Item:Q1106652"
From MaRDI portal
The following pages link to A semantics of multiple inheritance (Q1106652):
Displayed 28 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Type inference for record concatenation and multiple inheritance (Q808687) (← links)
- Polymorphic typed defunctionalization and concretization (Q853737) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Modelling multiple inheritance with colimits (Q919836) (← links)
- A lambda-calculus for dynamic binding (Q1127514) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Recursive types for Fun (Q1176245) (← links)
- Selective inheritance of attribute values in relational databases (Q1202889) (← links)
- Another definition of order-sorted algebra (Q1273072) (← links)
- Matching for the lambda calculus of objects (Q1275623) (← links)
- Reduction and unification in lambda calculi with a general notion of subtype (Q1340967) (← links)
- A meta-language for typed object-oriented languages (Q1350339) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Simplifying subtyping constraints: a theory (Q1854464) (← links)
- Modular statically typed multimethods (Q1854533) (← links)
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- Operations on records (Q3349962) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Coherence of subsumption for monadic types (Q3616445) (← links)
- Simple type-theoretic foundations for object-oriented programming (Q4764619) (← links)
- A semantic basis for Quest (Q4939689) (← links)
- Type inference with simple subtypes (Q4939703) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)