Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116793756> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2116793756 endingPage "447" @default.
- W2116793756 startingPage "431" @default.
- W2116793756 abstract "In type-theoretic research on object-oriented programming, the issue of “covariance versus contravariance” is a topic of continuing debate. In this short note we argue that covariance and contravariance appropriately characterize two distinct and independent mechanisms. The so-called contravariance rule correctly captures the subtyping relation (that relation which establishes which sets of functions can replace another given set in every context ). A covariant relation, instead, characterizes the specialization of code (i.e., the definition of new code which replaces old definitions in some particular cases ). Therefore, covariance and contravariance are not opposing views, but distinct concepts that each have their place in object-oriented systems. Both can (and should) be integrated in a type-safe manner in object-oriented languages. We also show that the independence of the two mechanisms is not characteristic of a particular model but is valid in general, since covariant specialization is present in record-based models, although it is hidden by a deficiency of all existing calculi that realize this model. As an aside, we show that the λ&-calculus can be taken as the basic calculus for both an overloading-based and a record-based model. Using this approach, one not only obtains a more uniform vision of object-oriented type theories, but in the case of the record-based approach, one also gains multiple dispatching, a feature that existing record-based models do not capture" @default.
- W2116793756 created "2016-06-24" @default.
- W2116793756 creator A5084702945 @default.
- W2116793756 date "1995-05-01" @default.
- W2116793756 modified "2023-10-17" @default.
- W2116793756 title "Covariance and contravariance" @default.
- W2116793756 cites W1994181029 @default.
- W2116793756 cites W2149587963 @default.
- W2116793756 doi "https://doi.org/10.1145/203095.203096" @default.
- W2116793756 hasPublicationYear "1995" @default.
- W2116793756 type Work @default.
- W2116793756 sameAs 2116793756 @default.
- W2116793756 citedByCount "156" @default.
- W2116793756 countsByYear W21167937562012 @default.
- W2116793756 countsByYear W21167937562013 @default.
- W2116793756 countsByYear W21167937562016 @default.
- W2116793756 countsByYear W21167937562017 @default.
- W2116793756 countsByYear W21167937562018 @default.
- W2116793756 countsByYear W21167937562019 @default.
- W2116793756 countsByYear W21167937562020 @default.
- W2116793756 countsByYear W21167937562021 @default.
- W2116793756 countsByYear W21167937562022 @default.
- W2116793756 crossrefType "journal-article" @default.
- W2116793756 hasAuthorship W2116793756A5084702945 @default.
- W2116793756 hasBestOaLocation W21167937561 @default.
- W2116793756 hasConcept C105795698 @default.
- W2116793756 hasConcept C11413529 @default.
- W2116793756 hasConcept C124101348 @default.
- W2116793756 hasConcept C151730666 @default.
- W2116793756 hasConcept C154945302 @default.
- W2116793756 hasConcept C177264268 @default.
- W2116793756 hasConcept C178650346 @default.
- W2116793756 hasConcept C199360897 @default.
- W2116793756 hasConcept C2524010 @default.
- W2116793756 hasConcept C25343380 @default.
- W2116793756 hasConcept C2776760102 @default.
- W2116793756 hasConcept C2779343474 @default.
- W2116793756 hasConcept C2781238097 @default.
- W2116793756 hasConcept C33923547 @default.
- W2116793756 hasConcept C35651441 @default.
- W2116793756 hasConcept C41008148 @default.
- W2116793756 hasConcept C80444323 @default.
- W2116793756 hasConcept C86803240 @default.
- W2116793756 hasConcept C9136319 @default.
- W2116793756 hasConceptScore W2116793756C105795698 @default.
- W2116793756 hasConceptScore W2116793756C11413529 @default.
- W2116793756 hasConceptScore W2116793756C124101348 @default.
- W2116793756 hasConceptScore W2116793756C151730666 @default.
- W2116793756 hasConceptScore W2116793756C154945302 @default.
- W2116793756 hasConceptScore W2116793756C177264268 @default.
- W2116793756 hasConceptScore W2116793756C178650346 @default.
- W2116793756 hasConceptScore W2116793756C199360897 @default.
- W2116793756 hasConceptScore W2116793756C2524010 @default.
- W2116793756 hasConceptScore W2116793756C25343380 @default.
- W2116793756 hasConceptScore W2116793756C2776760102 @default.
- W2116793756 hasConceptScore W2116793756C2779343474 @default.
- W2116793756 hasConceptScore W2116793756C2781238097 @default.
- W2116793756 hasConceptScore W2116793756C33923547 @default.
- W2116793756 hasConceptScore W2116793756C35651441 @default.
- W2116793756 hasConceptScore W2116793756C41008148 @default.
- W2116793756 hasConceptScore W2116793756C80444323 @default.
- W2116793756 hasConceptScore W2116793756C86803240 @default.
- W2116793756 hasConceptScore W2116793756C9136319 @default.
- W2116793756 hasIssue "3" @default.
- W2116793756 hasLocation W21167937561 @default.
- W2116793756 hasLocation W21167937562 @default.
- W2116793756 hasOpenAccess W2116793756 @default.
- W2116793756 hasPrimaryLocation W21167937561 @default.
- W2116793756 hasRelatedWork W2112962394 @default.
- W2116793756 hasRelatedWork W2118300983 @default.
- W2116793756 hasRelatedWork W2362939901 @default.
- W2116793756 hasRelatedWork W2382501300 @default.
- W2116793756 hasRelatedWork W2474024443 @default.
- W2116793756 hasRelatedWork W2783378529 @default.
- W2116793756 hasRelatedWork W2962875400 @default.
- W2116793756 hasRelatedWork W3137189469 @default.
- W2116793756 hasRelatedWork W4235530921 @default.
- W2116793756 hasRelatedWork W4243252198 @default.
- W2116793756 hasVolume "17" @default.
- W2116793756 isParatext "false" @default.
- W2116793756 isRetracted "false" @default.
- W2116793756 magId "2116793756" @default.
- W2116793756 workType "article" @default.