Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165548045> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2165548045 endingPage "282" @default.
- W2165548045 startingPage "263" @default.
- W2165548045 abstract "Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType , which represents the type of a self reference and changes its meaning along with inheritance. MyType is useful to write extensible yet type-safe classes for objects with recursive interfaces, that is, ones with methods that take or return objects of the same type as the receiver. Although LOOJ has also generics, MyType has been introduced as a feature rather orthogonal to generics. As a result, LOOJ cannot express an interface that refers to the same generic class recursively but with different type arguments. This is a significant limitation because such an interface naturally arises in practice, for example, in a generic collection class with method map(), which converts a collection to the same kind of collection of a different element type. Altherr and Cremet and Moors, Piessens, and Odersky gave solutions to this problem but they used a highly sophisticated combination of advanced mechanisms such as abstract type members, higher-order type constructors, and F-bounded polymorphism. In this paper, we give another solution by introducing self type constructors , which integrate MyType and generics so that MyType can take type arguments in a generic class. Self type constructors are tailored to writing recursive interfaces more concicely than previous solutions. We demonstrate the expressive power of self type constructors by means of examples, formalize a core language with self type constructors, and prove its type safety." @default.
- W2165548045 created "2016-06-24" @default.
- W2165548045 creator A5046314774 @default.
- W2165548045 creator A5077485499 @default.
- W2165548045 date "2009-10-25" @default.
- W2165548045 modified "2023-09-26" @default.
- W2165548045 title "Self type constructors" @default.
- W2165548045 cites W1517148154 @default.
- W2165548045 cites W1552977104 @default.
- W2165548045 cites W1577182889 @default.
- W2165548045 cites W1595544871 @default.
- W2165548045 cites W1600168243 @default.
- W2165548045 cites W1972445726 @default.
- W2165548045 cites W1980939032 @default.
- W2165548045 cites W1981483250 @default.
- W2165548045 cites W1984843285 @default.
- W2165548045 cites W1989554087 @default.
- W2165548045 cites W1993140586 @default.
- W2165548045 cites W2026667713 @default.
- W2165548045 cites W2030639337 @default.
- W2165548045 cites W2033348393 @default.
- W2165548045 cites W2064560668 @default.
- W2165548045 cites W2069037543 @default.
- W2165548045 cites W2102044874 @default.
- W2165548045 cites W2108025710 @default.
- W2165548045 cites W2108556267 @default.
- W2165548045 cites W2119857670 @default.
- W2165548045 cites W2137417304 @default.
- W2165548045 cites W2140602484 @default.
- W2165548045 cites W2150101804 @default.
- W2165548045 cites W2156426055 @default.
- W2165548045 cites W2157627245 @default.
- W2165548045 cites W2159078835 @default.
- W2165548045 cites W2172232818 @default.
- W2165548045 cites W2991726891 @default.
- W2165548045 doi "https://doi.org/10.1145/1639949.1640109" @default.
- W2165548045 hasPublicationYear "2009" @default.
- W2165548045 type Work @default.
- W2165548045 sameAs 2165548045 @default.
- W2165548045 citedByCount "2" @default.
- W2165548045 crossrefType "journal-article" @default.
- W2165548045 hasAuthorship W2165548045A5046314774 @default.
- W2165548045 hasAuthorship W2165548045A5077485499 @default.
- W2165548045 hasConcept C104317684 @default.
- W2165548045 hasConcept C135790938 @default.
- W2165548045 hasConcept C154945302 @default.
- W2165548045 hasConcept C185592680 @default.
- W2165548045 hasConcept C18903297 @default.
- W2165548045 hasConcept C195818886 @default.
- W2165548045 hasConcept C199360897 @default.
- W2165548045 hasConcept C20528804 @default.
- W2165548045 hasConcept C2777212361 @default.
- W2165548045 hasConcept C2777299769 @default.
- W2165548045 hasConcept C2780902518 @default.
- W2165548045 hasConcept C41008148 @default.
- W2165548045 hasConcept C42383842 @default.
- W2165548045 hasConcept C44779574 @default.
- W2165548045 hasConcept C55493867 @default.
- W2165548045 hasConcept C80444323 @default.
- W2165548045 hasConcept C86803240 @default.
- W2165548045 hasConceptScore W2165548045C104317684 @default.
- W2165548045 hasConceptScore W2165548045C135790938 @default.
- W2165548045 hasConceptScore W2165548045C154945302 @default.
- W2165548045 hasConceptScore W2165548045C185592680 @default.
- W2165548045 hasConceptScore W2165548045C18903297 @default.
- W2165548045 hasConceptScore W2165548045C195818886 @default.
- W2165548045 hasConceptScore W2165548045C199360897 @default.
- W2165548045 hasConceptScore W2165548045C20528804 @default.
- W2165548045 hasConceptScore W2165548045C2777212361 @default.
- W2165548045 hasConceptScore W2165548045C2777299769 @default.
- W2165548045 hasConceptScore W2165548045C2780902518 @default.
- W2165548045 hasConceptScore W2165548045C41008148 @default.
- W2165548045 hasConceptScore W2165548045C42383842 @default.
- W2165548045 hasConceptScore W2165548045C44779574 @default.
- W2165548045 hasConceptScore W2165548045C55493867 @default.
- W2165548045 hasConceptScore W2165548045C80444323 @default.
- W2165548045 hasConceptScore W2165548045C86803240 @default.
- W2165548045 hasIssue "10" @default.
- W2165548045 hasLocation W21655480451 @default.
- W2165548045 hasOpenAccess W2165548045 @default.
- W2165548045 hasPrimaryLocation W21655480451 @default.
- W2165548045 hasRelatedWork W129491011 @default.
- W2165548045 hasRelatedWork W1975664374 @default.
- W2165548045 hasRelatedWork W2019388039 @default.
- W2165548045 hasRelatedWork W2071961456 @default.
- W2165548045 hasRelatedWork W2082043541 @default.
- W2165548045 hasRelatedWork W2121993468 @default.
- W2165548045 hasRelatedWork W2146937878 @default.
- W2165548045 hasRelatedWork W2170069181 @default.
- W2165548045 hasRelatedWork W4213453328 @default.
- W2165548045 hasRelatedWork W4246722992 @default.
- W2165548045 hasVolume "44" @default.
- W2165548045 isParatext "false" @default.
- W2165548045 isRetracted "false" @default.
- W2165548045 magId "2165548045" @default.
- W2165548045 workType "article" @default.