Matches in SemOpenAlex for { <https://semopenalex.org/work/W1581913118> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1581913118 endingPage "220" @default.
- W1581913118 startingPage "200" @default.
- W1581913118 abstract "We extend the Abadi-Cardelli calculus of primitive objects with object extension. We enrich object types with a more precise, uniform, and flexible type structure. This enables to type object extension under both width and depth subtyping. Objects may also have extend-only or virtual contra-variant methods and read-only co-variant methods. The resulting subtyping relation is richer, and types of objects can be weaken progressively from a class level to a more traditional object level along the subtype relationship." @default.
- W1581913118 created "2016-06-24" @default.
- W1581913118 creator A5085438928 @default.
- W1581913118 date "1998-01-01" @default.
- W1581913118 modified "2023-10-18" @default.
- W1581913118 title "From classes to objects via subtyping" @default.
- W1581913118 cites W1495342505 @default.
- W1581913118 cites W1525643703 @default.
- W1581913118 cites W1529805101 @default.
- W1581913118 cites W1532750536 @default.
- W1581913118 cites W1539982275 @default.
- W1581913118 cites W1544633123 @default.
- W1581913118 cites W1550213746 @default.
- W1581913118 cites W1879619902 @default.
- W1581913118 cites W2057670587 @default.
- W1581913118 cites W2092054869 @default.
- W1581913118 cites W2143479391 @default.
- W1581913118 cites W2154294048 @default.
- W1581913118 cites W2163009019 @default.
- W1581913118 cites W2170466846 @default.
- W1581913118 cites W4057959 @default.
- W1581913118 cites W4236036677 @default.
- W1581913118 cites W4298234840 @default.
- W1581913118 doi "https://doi.org/10.1007/bfb0053572" @default.
- W1581913118 hasPublicationYear "1998" @default.
- W1581913118 type Work @default.
- W1581913118 sameAs 1581913118 @default.
- W1581913118 citedByCount "15" @default.
- W1581913118 countsByYear W15819131182012 @default.
- W1581913118 countsByYear W15819131182013 @default.
- W1581913118 countsByYear W15819131182014 @default.
- W1581913118 countsByYear W15819131182017 @default.
- W1581913118 crossrefType "book-chapter" @default.
- W1581913118 hasAuthorship W1581913118A5085438928 @default.
- W1581913118 hasBestOaLocation W15819131181 @default.
- W1581913118 hasConcept C124101348 @default.
- W1581913118 hasConcept C127313418 @default.
- W1581913118 hasConcept C151730666 @default.
- W1581913118 hasConcept C154945302 @default.
- W1581913118 hasConcept C199360897 @default.
- W1581913118 hasConcept C25343380 @default.
- W1581913118 hasConcept C2777212361 @default.
- W1581913118 hasConcept C2777299769 @default.
- W1581913118 hasConcept C2778029271 @default.
- W1581913118 hasConcept C2781238097 @default.
- W1581913118 hasConcept C41008148 @default.
- W1581913118 hasConcept C73752529 @default.
- W1581913118 hasConcept C80444323 @default.
- W1581913118 hasConcept C83852419 @default.
- W1581913118 hasConceptScore W1581913118C124101348 @default.
- W1581913118 hasConceptScore W1581913118C127313418 @default.
- W1581913118 hasConceptScore W1581913118C151730666 @default.
- W1581913118 hasConceptScore W1581913118C154945302 @default.
- W1581913118 hasConceptScore W1581913118C199360897 @default.
- W1581913118 hasConceptScore W1581913118C25343380 @default.
- W1581913118 hasConceptScore W1581913118C2777212361 @default.
- W1581913118 hasConceptScore W1581913118C2777299769 @default.
- W1581913118 hasConceptScore W1581913118C2778029271 @default.
- W1581913118 hasConceptScore W1581913118C2781238097 @default.
- W1581913118 hasConceptScore W1581913118C41008148 @default.
- W1581913118 hasConceptScore W1581913118C73752529 @default.
- W1581913118 hasConceptScore W1581913118C80444323 @default.
- W1581913118 hasConceptScore W1581913118C83852419 @default.
- W1581913118 hasLocation W15819131181 @default.
- W1581913118 hasLocation W15819131182 @default.
- W1581913118 hasOpenAccess W1581913118 @default.
- W1581913118 hasPrimaryLocation W15819131181 @default.
- W1581913118 hasRelatedWork W1494774343 @default.
- W1581913118 hasRelatedWork W1535103785 @default.
- W1581913118 hasRelatedWork W156103351 @default.
- W1581913118 hasRelatedWork W1591007360 @default.
- W1581913118 hasRelatedWork W1997608994 @default.
- W1581913118 hasRelatedWork W2036656026 @default.
- W1581913118 hasRelatedWork W2235578045 @default.
- W1581913118 hasRelatedWork W4243592972 @default.
- W1581913118 hasRelatedWork W1482645738 @default.
- W1581913118 hasRelatedWork W2526467014 @default.
- W1581913118 isParatext "false" @default.
- W1581913118 isRetracted "false" @default.
- W1581913118 magId "1581913118" @default.
- W1581913118 workType "book-chapter" @default.