Matches in SemOpenAlex for { <https://semopenalex.org/work/W1964993742> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1964993742 abstract "We present an interpretation of typed object-oriented concepts in terms of well-understood, purely procedural concepts. More precisely, we give a compositional subtype-preserving translation of a basic object calculus supporting method invocation, functional method update, and subtyping, into the polymorphic λ-calculus with recursive and subtyping. The translation techniques apply also to an imperative version of the object calculus which includes in-place method update and object cloning. Finally, the translation easily extends to Self types and other interesting object-oriented constructs." @default.
- W1964993742 created "2016-06-24" @default.
- W1964993742 creator A5013220584 @default.
- W1964993742 creator A5061767913 @default.
- W1964993742 creator A5081527160 @default.
- W1964993742 date "1996-01-01" @default.
- W1964993742 modified "2023-10-03" @default.
- W1964993742 title "An interpretation of objects and object types" @default.
- W1964993742 cites W140926411 @default.
- W1964993742 cites W1548394473 @default.
- W1964993742 cites W1562408544 @default.
- W1964993742 cites W1563488194 @default.
- W1964993742 cites W1739798036 @default.
- W1964993742 cites W2058121495 @default.
- W1964993742 cites W2089431782 @default.
- W1964993742 cites W2095988676 @default.
- W1964993742 cites W2098583541 @default.
- W1964993742 cites W2104204098 @default.
- W1964993742 cites W2129788677 @default.
- W1964993742 cites W2138839382 @default.
- W1964993742 cites W2149545675 @default.
- W1964993742 cites W2170810021 @default.
- W1964993742 cites W2173184982 @default.
- W1964993742 cites W1597169141 @default.
- W1964993742 doi "https://doi.org/10.1145/237721.237809" @default.
- W1964993742 hasPublicationYear "1996" @default.
- W1964993742 type Work @default.
- W1964993742 sameAs 1964993742 @default.
- W1964993742 citedByCount "45" @default.
- W1964993742 countsByYear W19649937422012 @default.
- W1964993742 countsByYear W19649937422015 @default.
- W1964993742 countsByYear W19649937422017 @default.
- W1964993742 countsByYear W19649937422023 @default.
- W1964993742 crossrefType "proceedings-article" @default.
- W1964993742 hasAuthorship W1964993742A5013220584 @default.
- W1964993742 hasAuthorship W1964993742A5061767913 @default.
- W1964993742 hasAuthorship W1964993742A5081527160 @default.
- W1964993742 hasConcept C154945302 @default.
- W1964993742 hasConcept C199360897 @default.
- W1964993742 hasConcept C2781238097 @default.
- W1964993742 hasConcept C41008148 @default.
- W1964993742 hasConcept C527412718 @default.
- W1964993742 hasConceptScore W1964993742C154945302 @default.
- W1964993742 hasConceptScore W1964993742C199360897 @default.
- W1964993742 hasConceptScore W1964993742C2781238097 @default.
- W1964993742 hasConceptScore W1964993742C41008148 @default.
- W1964993742 hasConceptScore W1964993742C527412718 @default.
- W1964993742 hasLocation W19649937421 @default.
- W1964993742 hasOpenAccess W1964993742 @default.
- W1964993742 hasPrimaryLocation W19649937421 @default.
- W1964993742 hasRelatedWork W14477036 @default.
- W1964993742 hasRelatedWork W1966410754 @default.
- W1964993742 hasRelatedWork W2349220812 @default.
- W1964993742 hasRelatedWork W2363840281 @default.
- W1964993742 hasRelatedWork W2390261592 @default.
- W1964993742 hasRelatedWork W2975200075 @default.
- W1964993742 hasRelatedWork W3080432174 @default.
- W1964993742 hasRelatedWork W3166602102 @default.
- W1964993742 hasRelatedWork W4220999971 @default.
- W1964993742 hasRelatedWork W823779190 @default.
- W1964993742 isParatext "false" @default.
- W1964993742 isRetracted "false" @default.
- W1964993742 magId "1964993742" @default.
- W1964993742 workType "article" @default.