FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576690287> ?p ?o ?g. }

• W1576690287 endingPage "286" @default.
• W1576690287 startingPage "259" @default.
• W1576690287 abstract "The metavariable self is fundamental in object-oriented languages. Typing self in the presence of inheritance has been studied by Abadi and Cardelli, Bruce, and others. A key concept in these developments is the notion of selftype, which enables flexible type annotations that are impossible with recursive types and subtyping. Bruce et al. demonstrated that, for the language TOOPLE, type checking is decidable. Open until now is the problem of type inference with selftype.In this paper we present a simple type system with selftype, recursive types, and subtyping, and we prove that type inference is NP-complete. With recursive types and subtyping alone, type inference is known to be P-complete. Our example language is the object calculus of Abadi and Cardelli. Both our type inference algorithm and our lower bound are the first such results for a type system with selftype." @default.
• W1576690287 created "2016-06-24" @default.
• W1576690287 creator A5011356414 @default.
• W1576690287 creator A5055513551 @default.
• W1576690287 date "1997-09-01" @default.
• W1576690287 modified "2023-09-25" @default.
• W1576690287 title "Type inference with simple selftypes is NP-complete" @default.
• W1576690287 cites W1510641142 @default.
• W1576690287 cites W1532892735 @default.
• W1576690287 cites W1544633123 @default.
• W1576690287 cites W1550213746 @default.
• W1576690287 cites W1563488194 @default.
• W1576690287 cites W1834340039 @default.
• W1576690287 cites W1980547413 @default.
• W1576690287 cites W1990365157 @default.
• W1576690287 cites W2016945299 @default.
• W1576690287 cites W2046038616 @default.
• W1576690287 cites W2074436507 @default.
• W1576690287 cites W2092054869 @default.
• W1576690287 cites W2095988676 @default.
• W1576690287 cites W2133147697 @default.
• W1576690287 cites W2149545675 @default.
• W1576690287 cites W2161825580 @default.
• W1576690287 cites W2171058032 @default.
• W1576690287 cites W2185447225 @default.
• W1576690287 cites W2293278021 @default.
• W1576690287 cites W3161942825 @default.
• W1576690287 hasPublicationYear "1997" @default.
• W1576690287 type Work @default.
• W1576690287 sameAs 1576690287 @default.
• W1576690287 citedByCount "5" @default.
• W1576690287 crossrefType "journal-article" @default.
• W1576690287 hasAuthorship W1576690287A5011356414 @default.
• W1576690287 hasAuthorship W1576690287A5055513551 @default.
• W1576690287 hasConcept C104317684 @default.
• W1576690287 hasConcept C111472728 @default.
• W1576690287 hasConcept C11413529 @default.
• W1576690287 hasConcept C138885662 @default.
• W1576690287 hasConcept C153269930 @default.
• W1576690287 hasConcept C154945302 @default.
• W1576690287 hasConcept C185592680 @default.
• W1576690287 hasConcept C18903297 @default.
• W1576690287 hasConcept C198370458 @default.
• W1576690287 hasConcept C199360897 @default.
• W1576690287 hasConcept C2776214188 @default.
• W1576690287 hasConcept C2777299769 @default.
• W1576690287 hasConcept C2780586882 @default.
• W1576690287 hasConcept C2780902518 @default.
• W1576690287 hasConcept C2781238097 @default.
• W1576690287 hasConcept C3746660 @default.
• W1576690287 hasConcept C41008148 @default.
• W1576690287 hasConcept C55493867 @default.
• W1576690287 hasConcept C80444323 @default.
• W1576690287 hasConcept C83852419 @default.
• W1576690287 hasConcept C86803240 @default.
• W1576690287 hasConcept C93682546 @default.
• W1576690287 hasConceptScore W1576690287C104317684 @default.
• W1576690287 hasConceptScore W1576690287C111472728 @default.
• W1576690287 hasConceptScore W1576690287C11413529 @default.
• W1576690287 hasConceptScore W1576690287C138885662 @default.
• W1576690287 hasConceptScore W1576690287C153269930 @default.
• W1576690287 hasConceptScore W1576690287C154945302 @default.
• W1576690287 hasConceptScore W1576690287C185592680 @default.
• W1576690287 hasConceptScore W1576690287C18903297 @default.
• W1576690287 hasConceptScore W1576690287C198370458 @default.
• W1576690287 hasConceptScore W1576690287C199360897 @default.
• W1576690287 hasConceptScore W1576690287C2776214188 @default.
• W1576690287 hasConceptScore W1576690287C2777299769 @default.
• W1576690287 hasConceptScore W1576690287C2780586882 @default.
• W1576690287 hasConceptScore W1576690287C2780902518 @default.
• W1576690287 hasConceptScore W1576690287C2781238097 @default.
• W1576690287 hasConceptScore W1576690287C3746660 @default.
• W1576690287 hasConceptScore W1576690287C41008148 @default.
• W1576690287 hasConceptScore W1576690287C55493867 @default.
• W1576690287 hasConceptScore W1576690287C80444323 @default.
• W1576690287 hasConceptScore W1576690287C83852419 @default.
• W1576690287 hasConceptScore W1576690287C86803240 @default.
• W1576690287 hasConceptScore W1576690287C93682546 @default.
• W1576690287 hasIssue "3" @default.
• W1576690287 hasLocation W15766902871 @default.
• W1576690287 hasOpenAccess W1576690287 @default.
• W1576690287 hasPrimaryLocation W15766902871 @default.
• W1576690287 hasRelatedWork W1531154744 @default.
• W1576690287 hasRelatedWork W1544370566 @default.
• W1576690287 hasRelatedWork W1544633123 @default.
• W1576690287 hasRelatedWork W1590106610 @default.
• W1576690287 hasRelatedWork W1599788127 @default.
• W1576690287 hasRelatedWork W1810290248 @default.
• W1576690287 hasRelatedWork W1969093922 @default.
• W1576690287 hasRelatedWork W2002866920 @default.
• W1576690287 hasRelatedWork W2041659737 @default.
• W1576690287 hasRelatedWork W2060688393 @default.
• W1576690287 hasRelatedWork W2074530495 @default.
• W1576690287 hasRelatedWork W2077116540 @default.
• W1576690287 hasRelatedWork W2122685887 @default.
• W1576690287 hasRelatedWork W2130881558 @default.
• W1576690287 hasRelatedWork W2132654515 @default.
• W1576690287 hasRelatedWork W2185447225 @default.

• next