Matches in SemOpenAlex for { <https://semopenalex.org/work/W4229656272> ?p ?o ?g. }
- W4229656272 endingPage "40" @default.
- W4229656272 startingPage "21" @default.
- W4229656272 abstract "Multiple inheritance has long been plagued with the diamond inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we address the diamond problem directly, considering two difficulties it causes: ensuring a correct semantics for object initializers, and typechecking multiple dispatch in a modular fashion-the latter problem arising even with multiple interface inheritance. We show that previous solutions to these problems are either unsatisfactory or cumbersome, and suggest a novel approach: supporting multiple inheritance but forbidding diamond inheritance. Expressiveness is retained through two features: a requires construct that provides a form of subtyping without inheritance (inspired by Scala), and a dynamically-dispatched super call similar to that found in traits. Through examples, we illustrate that inheritance diamonds can be eliminated via a combination of requires and ordinary inheritance. We provide a sound formal model for our language and demonstrate its modularity and expressiveness." @default.
- W4229656272 created "2022-05-11" @default.
- W4229656272 creator A5075602499 @default.
- W4229656272 creator A5091372985 @default.
- W4229656272 date "2009-10-25" @default.
- W4229656272 modified "2023-09-26" @default.
- W4229656272 title "CZ" @default.
- W4229656272 cites W1516097089 @default.
- W4229656272 cites W1543404920 @default.
- W4229656272 cites W1973480063 @default.
- W4229656272 cites W1990765684 @default.
- W4229656272 cites W2017743728 @default.
- W4229656272 cites W2037755932 @default.
- W4229656272 cites W2040445868 @default.
- W4229656272 cites W2055970549 @default.
- W4229656272 cites W2080648611 @default.
- W4229656272 cites W2084686108 @default.
- W4229656272 cites W2084712713 @default.
- W4229656272 cites W2086957250 @default.
- W4229656272 cites W2087527532 @default.
- W4229656272 cites W2098884586 @default.
- W4229656272 cites W2111898165 @default.
- W4229656272 cites W2115680394 @default.
- W4229656272 cites W2116159385 @default.
- W4229656272 cites W2126234902 @default.
- W4229656272 cites W2128029766 @default.
- W4229656272 cites W2133786491 @default.
- W4229656272 cites W2147044763 @default.
- W4229656272 cites W2150101804 @default.
- W4229656272 cites W2153060956 @default.
- W4229656272 cites W2168986107 @default.
- W4229656272 cites W2172232818 @default.
- W4229656272 cites W4254825663 @default.
- W4229656272 cites W4255667787 @default.
- W4229656272 doi "https://doi.org/10.1145/1639949.1640092" @default.
- W4229656272 hasPublicationYear "2009" @default.
- W4229656272 type Work @default.
- W4229656272 citedByCount "2" @default.
- W4229656272 countsByYear W42296562722020 @default.
- W4229656272 countsByYear W42296562722023 @default.
- W4229656272 crossrefType "journal-article" @default.
- W4229656272 hasAuthorship W4229656272A5075602499 @default.
- W4229656272 hasAuthorship W4229656272A5091372985 @default.
- W4229656272 hasConcept C101468663 @default.
- W4229656272 hasConcept C104317684 @default.
- W4229656272 hasConcept C113843644 @default.
- W4229656272 hasConcept C129307140 @default.
- W4229656272 hasConcept C157915830 @default.
- W4229656272 hasConcept C173608175 @default.
- W4229656272 hasConcept C185592680 @default.
- W4229656272 hasConcept C199360897 @default.
- W4229656272 hasConcept C200568363 @default.
- W4229656272 hasConcept C2779478453 @default.
- W4229656272 hasConcept C2780801425 @default.
- W4229656272 hasConcept C2780902518 @default.
- W4229656272 hasConcept C41008148 @default.
- W4229656272 hasConcept C54355233 @default.
- W4229656272 hasConcept C55493867 @default.
- W4229656272 hasConcept C73752529 @default.
- W4229656272 hasConcept C80444323 @default.
- W4229656272 hasConcept C83852419 @default.
- W4229656272 hasConcept C86803240 @default.
- W4229656272 hasConceptScore W4229656272C101468663 @default.
- W4229656272 hasConceptScore W4229656272C104317684 @default.
- W4229656272 hasConceptScore W4229656272C113843644 @default.
- W4229656272 hasConceptScore W4229656272C129307140 @default.
- W4229656272 hasConceptScore W4229656272C157915830 @default.
- W4229656272 hasConceptScore W4229656272C173608175 @default.
- W4229656272 hasConceptScore W4229656272C185592680 @default.
- W4229656272 hasConceptScore W4229656272C199360897 @default.
- W4229656272 hasConceptScore W4229656272C200568363 @default.
- W4229656272 hasConceptScore W4229656272C2779478453 @default.
- W4229656272 hasConceptScore W4229656272C2780801425 @default.
- W4229656272 hasConceptScore W4229656272C2780902518 @default.
- W4229656272 hasConceptScore W4229656272C41008148 @default.
- W4229656272 hasConceptScore W4229656272C54355233 @default.
- W4229656272 hasConceptScore W4229656272C55493867 @default.
- W4229656272 hasConceptScore W4229656272C73752529 @default.
- W4229656272 hasConceptScore W4229656272C80444323 @default.
- W4229656272 hasConceptScore W4229656272C83852419 @default.
- W4229656272 hasConceptScore W4229656272C86803240 @default.
- W4229656272 hasIssue "10" @default.
- W4229656272 hasLocation W42296562721 @default.
- W4229656272 hasOpenAccess W4229656272 @default.
- W4229656272 hasPrimaryLocation W42296562721 @default.
- W4229656272 hasRelatedWork W1494774343 @default.
- W4229656272 hasRelatedWork W1570853285 @default.
- W4229656272 hasRelatedWork W1591007360 @default.
- W4229656272 hasRelatedWork W1793434178 @default.
- W4229656272 hasRelatedWork W1997608994 @default.
- W4229656272 hasRelatedWork W2036656026 @default.
- W4229656272 hasRelatedWork W2552002334 @default.
- W4229656272 hasRelatedWork W4243592972 @default.
- W4229656272 hasRelatedWork W4293424679 @default.
- W4229656272 hasRelatedWork W2526467014 @default.
- W4229656272 hasVolume "44" @default.
- W4229656272 isParatext "false" @default.
- W4229656272 isRetracted "false" @default.