Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138839382> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2138839382 endingPage "247" @default.
- W2138839382 startingPage "207" @default.
- W2138839382 abstract "Abstract We develop a formal, type-theoretic account of the basic mechanisms of object-oriented programming: encapsulation, message passing, subtyping and inheritance. By modelling object encapsulation in terms of existential types instead of the recursive records used in other recent studies, we obtain a substantial simplification both in the model of objects and in the underlying typed λ-calculus." @default.
- W2138839382 created "2016-06-24" @default.
- W2138839382 creator A5040536282 @default.
- W2138839382 creator A5085361253 @default.
- W2138839382 date "1994-04-01" @default.
- W2138839382 modified "2023-10-17" @default.
- W2138839382 title "Simple type-theoretic foundations for object-oriented programming" @default.
- W2138839382 cites W1525844406 @default.
- W2138839382 cites W1987454317 @default.
- W2138839382 cites W1990365157 @default.
- W2138839382 cites W2011825885 @default.
- W2138839382 cites W2027657506 @default.
- W2138839382 cites W2068606617 @default.
- W2138839382 cites W2069037543 @default.
- W2138839382 cites W2104204098 @default.
- W2138839382 cites W2105126759 @default.
- W2138839382 cites W2114958714 @default.
- W2138839382 cites W2119240423 @default.
- W2138839382 cites W2149587963 @default.
- W2138839382 cites W2171425038 @default.
- W2138839382 cites W2173184982 @default.
- W2138839382 cites W2568721247 @default.
- W2138839382 cites W4206115163 @default.
- W2138839382 cites W4233362170 @default.
- W2138839382 doi "https://doi.org/10.1017/s0956796800001040" @default.
- W2138839382 hasPublicationYear "1994" @default.
- W2138839382 type Work @default.
- W2138839382 sameAs 2138839382 @default.
- W2138839382 citedByCount "149" @default.
- W2138839382 countsByYear W21388393822012 @default.
- W2138839382 countsByYear W21388393822014 @default.
- W2138839382 countsByYear W21388393822015 @default.
- W2138839382 countsByYear W21388393822016 @default.
- W2138839382 countsByYear W21388393822017 @default.
- W2138839382 countsByYear W21388393822018 @default.
- W2138839382 countsByYear W21388393822019 @default.
- W2138839382 countsByYear W21388393822020 @default.
- W2138839382 countsByYear W21388393822021 @default.
- W2138839382 countsByYear W21388393822023 @default.
- W2138839382 crossrefType "journal-article" @default.
- W2138839382 hasAuthorship W2138839382A5040536282 @default.
- W2138839382 hasAuthorship W2138839382A5085361253 @default.
- W2138839382 hasBestOaLocation W21388393821 @default.
- W2138839382 hasConcept C104317684 @default.
- W2138839382 hasConcept C127313418 @default.
- W2138839382 hasConcept C138958017 @default.
- W2138839382 hasConcept C17409809 @default.
- W2138839382 hasConcept C185592680 @default.
- W2138839382 hasConcept C199360897 @default.
- W2138839382 hasConcept C200568363 @default.
- W2138839382 hasConcept C2778648169 @default.
- W2138839382 hasConcept C2780902518 @default.
- W2138839382 hasConcept C31258907 @default.
- W2138839382 hasConcept C41008148 @default.
- W2138839382 hasConcept C55493867 @default.
- W2138839382 hasConcept C73752529 @default.
- W2138839382 hasConcept C80444323 @default.
- W2138839382 hasConcept C81147070 @default.
- W2138839382 hasConcept C83852419 @default.
- W2138839382 hasConceptScore W2138839382C104317684 @default.
- W2138839382 hasConceptScore W2138839382C127313418 @default.
- W2138839382 hasConceptScore W2138839382C138958017 @default.
- W2138839382 hasConceptScore W2138839382C17409809 @default.
- W2138839382 hasConceptScore W2138839382C185592680 @default.
- W2138839382 hasConceptScore W2138839382C199360897 @default.
- W2138839382 hasConceptScore W2138839382C200568363 @default.
- W2138839382 hasConceptScore W2138839382C2778648169 @default.
- W2138839382 hasConceptScore W2138839382C2780902518 @default.
- W2138839382 hasConceptScore W2138839382C31258907 @default.
- W2138839382 hasConceptScore W2138839382C41008148 @default.
- W2138839382 hasConceptScore W2138839382C55493867 @default.
- W2138839382 hasConceptScore W2138839382C73752529 @default.
- W2138839382 hasConceptScore W2138839382C80444323 @default.
- W2138839382 hasConceptScore W2138839382C81147070 @default.
- W2138839382 hasConceptScore W2138839382C83852419 @default.
- W2138839382 hasIssue "2" @default.
- W2138839382 hasLocation W21388393821 @default.
- W2138839382 hasOpenAccess W2138839382 @default.
- W2138839382 hasPrimaryLocation W21388393821 @default.
- W2138839382 hasRelatedWork W1494774343 @default.
- W2138839382 hasRelatedWork W1570853285 @default.
- W2138839382 hasRelatedWork W1793434178 @default.
- W2138839382 hasRelatedWork W1947793699 @default.
- W2138839382 hasRelatedWork W1997608994 @default.
- W2138839382 hasRelatedWork W2036656026 @default.
- W2138839382 hasRelatedWork W4243592972 @default.
- W2138839382 hasRelatedWork W4293424679 @default.
- W2138839382 hasRelatedWork W2474869314 @default.
- W2138839382 hasRelatedWork W2526467014 @default.
- W2138839382 hasVolume "4" @default.
- W2138839382 isParatext "false" @default.
- W2138839382 isRetracted "false" @default.
- W2138839382 magId "2138839382" @default.
- W2138839382 workType "article" @default.