Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238948965> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4238948965 endingPage "178" @default.
- W4238948965 startingPage "166" @default.
- W4238948965 abstract "In this paper we investigate, in the context of functional prototype-based languages , objects which might extend themselves upon receiving a message. The possibility for an object of extending its own self, referred to by Cardelli, as a self-inflicted operation, is novel in the context of typed object-based languages. We present a sound type system for this calculus which guarantees that evaluating a well-typed expression will never yield a message-not-found run-time error. We give several examples which illustrate the increased expressive power of our system with respect to existing calculi of objects. The new type system allows also for a flexible width-subtyping , still permitting sound method override, and a limited form of object extension. The resulting calculus appears to be a good starting point for a rigorous mathematical analysis of class-based languages." @default.
- W4238948965 created "2022-05-12" @default.
- W4238948965 creator A5000680961 @default.
- W4238948965 creator A5063938532 @default.
- W4238948965 creator A5080883460 @default.
- W4238948965 date "1998-10-01" @default.
- W4238948965 modified "2023-09-28" @default.
- W4238948965 title "A lambda calculus of objects with self-inflicted extension" @default.
- W4238948965 cites W1482171176 @default.
- W4238948965 cites W1495342505 @default.
- W4238948965 cites W1508704254 @default.
- W4238948965 cites W1525643703 @default.
- W4238948965 cites W1529805101 @default.
- W4238948965 cites W1532750536 @default.
- W4238948965 cites W1539982275 @default.
- W4238948965 cites W1879619902 @default.
- W4238948965 cites W2116793756 @default.
- W4238948965 cites W2119857670 @default.
- W4238948965 cites W2143479391 @default.
- W4238948965 doi "https://doi.org/10.1145/286942.286955" @default.
- W4238948965 hasPublicationYear "1998" @default.
- W4238948965 type Work @default.
- W4238948965 citedByCount "5" @default.
- W4238948965 countsByYear W42389489652012 @default.
- W4238948965 crossrefType "journal-article" @default.
- W4238948965 hasAuthorship W4238948965A5000680961 @default.
- W4238948965 hasAuthorship W4238948965A5063938532 @default.
- W4238948965 hasAuthorship W4238948965A5080883460 @default.
- W4238948965 hasBestOaLocation W42389489652 @default.
- W4238948965 hasConcept C151730666 @default.
- W4238948965 hasConcept C154945302 @default.
- W4238948965 hasConcept C18903297 @default.
- W4238948965 hasConcept C195818886 @default.
- W4238948965 hasConcept C199343813 @default.
- W4238948965 hasConcept C199360897 @default.
- W4238948965 hasConcept C2777212361 @default.
- W4238948965 hasConcept C2777299769 @default.
- W4238948965 hasConcept C2777686260 @default.
- W4238948965 hasConcept C2778029271 @default.
- W4238948965 hasConcept C2779343474 @default.
- W4238948965 hasConcept C2781238097 @default.
- W4238948965 hasConcept C41008148 @default.
- W4238948965 hasConcept C71924100 @default.
- W4238948965 hasConcept C80444323 @default.
- W4238948965 hasConcept C83852419 @default.
- W4238948965 hasConcept C86803240 @default.
- W4238948965 hasConcept C90559484 @default.
- W4238948965 hasConceptScore W4238948965C151730666 @default.
- W4238948965 hasConceptScore W4238948965C154945302 @default.
- W4238948965 hasConceptScore W4238948965C18903297 @default.
- W4238948965 hasConceptScore W4238948965C195818886 @default.
- W4238948965 hasConceptScore W4238948965C199343813 @default.
- W4238948965 hasConceptScore W4238948965C199360897 @default.
- W4238948965 hasConceptScore W4238948965C2777212361 @default.
- W4238948965 hasConceptScore W4238948965C2777299769 @default.
- W4238948965 hasConceptScore W4238948965C2777686260 @default.
- W4238948965 hasConceptScore W4238948965C2778029271 @default.
- W4238948965 hasConceptScore W4238948965C2779343474 @default.
- W4238948965 hasConceptScore W4238948965C2781238097 @default.
- W4238948965 hasConceptScore W4238948965C41008148 @default.
- W4238948965 hasConceptScore W4238948965C71924100 @default.
- W4238948965 hasConceptScore W4238948965C80444323 @default.
- W4238948965 hasConceptScore W4238948965C83852419 @default.
- W4238948965 hasConceptScore W4238948965C86803240 @default.
- W4238948965 hasConceptScore W4238948965C90559484 @default.
- W4238948965 hasIssue "10" @default.
- W4238948965 hasLocation W42389489651 @default.
- W4238948965 hasLocation W42389489652 @default.
- W4238948965 hasLocation W42389489653 @default.
- W4238948965 hasOpenAccess W4238948965 @default.
- W4238948965 hasPrimaryLocation W42389489651 @default.
- W4238948965 hasRelatedWork W1603005190 @default.
- W4238948965 hasRelatedWork W2132201171 @default.
- W4238948965 hasRelatedWork W2505639562 @default.
- W4238948965 hasRelatedWork W2548443618 @default.
- W4238948965 hasRelatedWork W2763815264 @default.
- W4238948965 hasRelatedWork W2947762162 @default.
- W4238948965 hasRelatedWork W3102321783 @default.
- W4238948965 hasRelatedWork W4243252198 @default.
- W4238948965 hasRelatedWork W4250918063 @default.
- W4238948965 hasRelatedWork W4298379512 @default.
- W4238948965 hasVolume "33" @default.
- W4238948965 isParatext "false" @default.
- W4238948965 isRetracted "false" @default.
- W4238948965 workType "article" @default.