Pages that link to "Item:Q1106652"

The following pages link to A semantics of multiple inheritance (Q1106652):

Displaying 44 items.

• A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
• Selectional restrictions, types and categories (Q280845) (← links)
• A verification algorithm for inheritance hierarchies in object-oriented databases (Q287091) (← links)
• Metamodeling semantics of multiple inheritance (Q532422) (← links)
• Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
• 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)
• Automated compilation of object-oriented probabilistic relational models (Q962952) (← 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)
• Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← 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 CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
• A semantic basis for Quest (Q4939689) (← links)
• Type inference with simple subtypes (Q4939703) (← links)
• Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
• An extension of system F with subtyping (Q5096247) (← links)
• Operations on records (Q5096252) (← links)
• Unification in an extensional lambda calculus with ordered function sorts and constant overloading (Q5210801) (← links)
• Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
• Typed equivalence, type assignment, and type containment (Q5881295) (← links)
• Operations on records (Q5887510) (← links)
• An operational semantics for TOOPLE: A statically-typed object-oriented programming language (Q5890071) (← links)
• A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)