Matches in SemOpenAlex for { <https://semopenalex.org/work/W4240896469> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4240896469 endingPage "445" @default.
- W4240896469 startingPage "436" @default.
- W4240896469 abstract "The support for generic programming in modern object-oriented programming languages is awkward and lacks desirable expressive power. We introduce an expressive genericity mechanism that adds expressive power and strengthens static checking, while remaining lightweight and simple in common use cases. Like type classes and concepts, the mechanism allows existing types to model type constraints retroactively. For expressive power, we expose models as named constructs that can be defined and selected explicitly to witness constraints; in common uses of genericity, however, types implicitly witness constraints without additional programmer effort. Models are integrated into the object-oriented style, with features like model generics, model-dependent types, model enrichment, model multimethods, constraint entailment, model inheritance, and existential quantification further extending expressive power in an object-oriented setting. We introduce the new genericity features and show that common generic programming idioms, including current generic libraries, can be expressed more precisely and concisely. The static semantics of the mechanism and a proof of a key decidability property can be found in an associated technical report." @default.
- W4240896469 created "2022-05-12" @default.
- W4240896469 creator A5021659358 @default.
- W4240896469 creator A5043823677 @default.
- W4240896469 creator A5044684127 @default.
- W4240896469 creator A5087649192 @default.
- W4240896469 creator A5090555377 @default.
- W4240896469 date "2015-06-03" @default.
- W4240896469 modified "2023-10-01" @default.
- W4240896469 title "Lightweight, flexible object-oriented generics" @default.
- W4240896469 cites W1595544871 @default.
- W4240896469 cites W1972445726 @default.
- W4240896469 cites W1981173279 @default.
- W4240896469 cites W1994666727 @default.
- W4240896469 cites W2009179353 @default.
- W4240896469 cites W2026323010 @default.
- W4240896469 cites W2029360780 @default.
- W4240896469 cites W2033348393 @default.
- W4240896469 cites W2033843600 @default.
- W4240896469 cites W2035709547 @default.
- W4240896469 cites W2055970549 @default.
- W4240896469 cites W2059895047 @default.
- W4240896469 cites W2063477581 @default.
- W4240896469 cites W2065504661 @default.
- W4240896469 cites W2069037543 @default.
- W4240896469 cites W2073544767 @default.
- W4240896469 cites W2112094847 @default.
- W4240896469 cites W2116616150 @default.
- W4240896469 cites W2117534212 @default.
- W4240896469 cites W2133625592 @default.
- W4240896469 cites W2137417304 @default.
- W4240896469 cites W2139141719 @default.
- W4240896469 cites W2161783170 @default.
- W4240896469 cites W2168938117 @default.
- W4240896469 cites W3003586330 @default.
- W4240896469 cites W4233840497 @default.
- W4240896469 cites W4237270226 @default.
- W4240896469 cites W4244486827 @default.
- W4240896469 doi "https://doi.org/10.1145/2813885.2738008" @default.
- W4240896469 hasPublicationYear "2015" @default.
- W4240896469 type Work @default.
- W4240896469 citedByCount "0" @default.
- W4240896469 crossrefType "journal-article" @default.
- W4240896469 hasAuthorship W4240896469A5021659358 @default.
- W4240896469 hasAuthorship W4240896469A5043823677 @default.
- W4240896469 hasAuthorship W4240896469A5044684127 @default.
- W4240896469 hasAuthorship W4240896469A5087649192 @default.
- W4240896469 hasAuthorship W4240896469A5090555377 @default.
- W4240896469 hasConcept C104317684 @default.
- W4240896469 hasConcept C153269930 @default.
- W4240896469 hasConcept C185592680 @default.
- W4240896469 hasConcept C195818886 @default.
- W4240896469 hasConcept C199360897 @default.
- W4240896469 hasConcept C2778514511 @default.
- W4240896469 hasConcept C2780902518 @default.
- W4240896469 hasConcept C41008148 @default.
- W4240896469 hasConcept C55493867 @default.
- W4240896469 hasConcept C73752529 @default.
- W4240896469 hasConcept C80444323 @default.
- W4240896469 hasConceptScore W4240896469C104317684 @default.
- W4240896469 hasConceptScore W4240896469C153269930 @default.
- W4240896469 hasConceptScore W4240896469C185592680 @default.
- W4240896469 hasConceptScore W4240896469C195818886 @default.
- W4240896469 hasConceptScore W4240896469C199360897 @default.
- W4240896469 hasConceptScore W4240896469C2778514511 @default.
- W4240896469 hasConceptScore W4240896469C2780902518 @default.
- W4240896469 hasConceptScore W4240896469C41008148 @default.
- W4240896469 hasConceptScore W4240896469C55493867 @default.
- W4240896469 hasConceptScore W4240896469C73752529 @default.
- W4240896469 hasConceptScore W4240896469C80444323 @default.
- W4240896469 hasIssue "6" @default.
- W4240896469 hasLocation W42408964691 @default.
- W4240896469 hasOpenAccess W4240896469 @default.
- W4240896469 hasPrimaryLocation W42408964691 @default.
- W4240896469 hasRelatedWork W1528736836 @default.
- W4240896469 hasRelatedWork W207593760 @default.
- W4240896469 hasRelatedWork W2147633795 @default.
- W4240896469 hasRelatedWork W2153017064 @default.
- W4240896469 hasRelatedWork W2478622434 @default.
- W4240896469 hasRelatedWork W2783329738 @default.
- W4240896469 hasRelatedWork W3164884233 @default.
- W4240896469 hasRelatedWork W4240896469 @default.
- W4240896469 hasRelatedWork W605737362 @default.
- W4240896469 hasRelatedWork W1482645738 @default.
- W4240896469 hasVolume "50" @default.
- W4240896469 isParatext "false" @default.
- W4240896469 isRetracted "false" @default.
- W4240896469 workType "article" @default.