Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055292912> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2055292912 abstract "A polymorphic, constraint-based type inference algorithm for an object-oriented language is defined. A generalized form of type, polymorphic recursively constrained types, are inferred. These types are expressive enough for typing objects, since they generalize recursive types and F-bounded polymorphism. The well-known tradeoff between inheritance and subtyping is mitigated by the type inference mechanism. Soundness and completeness of type inference are established." @default.
- W2055292912 created "2016-06-24" @default.
- W2055292912 creator A5021973443 @default.
- W2055292912 creator A5037064366 @default.
- W2055292912 creator A5042114640 @default.
- W2055292912 date "1995-10-17" @default.
- W2055292912 modified "2023-10-17" @default.
- W2055292912 title "Sound polymorphic type inference for objects" @default.
- W2055292912 cites W1590106610 @default.
- W2055292912 cites W1874450173 @default.
- W2055292912 cites W1969093922 @default.
- W2055292912 cites W1978692906 @default.
- W2055292912 cites W1989181218 @default.
- W2055292912 cites W2016049804 @default.
- W2055292912 cites W2016945299 @default.
- W2055292912 cites W2022443117 @default.
- W2055292912 cites W2050012658 @default.
- W2055292912 cites W2069037543 @default.
- W2055292912 cites W2091909330 @default.
- W2055292912 cites W2095988676 @default.
- W2055292912 cites W2116793756 @default.
- W2055292912 cites W2118068787 @default.
- W2055292912 cites W2151156765 @default.
- W2055292912 cites W2153060956 @default.
- W2055292912 cites W2166822586 @default.
- W2055292912 cites W2686043342 @default.
- W2055292912 cites W4235702462 @default.
- W2055292912 doi "https://doi.org/10.1145/217838.217858" @default.
- W2055292912 hasPublicationYear "1995" @default.
- W2055292912 type Work @default.
- W2055292912 sameAs 2055292912 @default.
- W2055292912 citedByCount "83" @default.
- W2055292912 countsByYear W20552929122013 @default.
- W2055292912 countsByYear W20552929122016 @default.
- W2055292912 countsByYear W20552929122017 @default.
- W2055292912 countsByYear W20552929122019 @default.
- W2055292912 countsByYear W20552929122022 @default.
- W2055292912 crossrefType "proceedings-article" @default.
- W2055292912 hasAuthorship W2055292912A5021973443 @default.
- W2055292912 hasAuthorship W2055292912A5037064366 @default.
- W2055292912 hasAuthorship W2055292912A5042114640 @default.
- W2055292912 hasConcept C121332964 @default.
- W2055292912 hasConcept C127313418 @default.
- W2055292912 hasConcept C151730666 @default.
- W2055292912 hasConcept C154945302 @default.
- W2055292912 hasConcept C198370458 @default.
- W2055292912 hasConcept C203718221 @default.
- W2055292912 hasConcept C24890656 @default.
- W2055292912 hasConcept C2776214188 @default.
- W2055292912 hasConcept C2777299769 @default.
- W2055292912 hasConcept C41008148 @default.
- W2055292912 hasConceptScore W2055292912C121332964 @default.
- W2055292912 hasConceptScore W2055292912C127313418 @default.
- W2055292912 hasConceptScore W2055292912C151730666 @default.
- W2055292912 hasConceptScore W2055292912C154945302 @default.
- W2055292912 hasConceptScore W2055292912C198370458 @default.
- W2055292912 hasConceptScore W2055292912C203718221 @default.
- W2055292912 hasConceptScore W2055292912C24890656 @default.
- W2055292912 hasConceptScore W2055292912C2776214188 @default.
- W2055292912 hasConceptScore W2055292912C2777299769 @default.
- W2055292912 hasConceptScore W2055292912C41008148 @default.
- W2055292912 hasLocation W20552929121 @default.
- W2055292912 hasOpenAccess W2055292912 @default.
- W2055292912 hasPrimaryLocation W20552929121 @default.
- W2055292912 hasRelatedWork W1550049051 @default.
- W2055292912 hasRelatedWork W1569589535 @default.
- W2055292912 hasRelatedWork W1703087989 @default.
- W2055292912 hasRelatedWork W1941412300 @default.
- W2055292912 hasRelatedWork W1977621403 @default.
- W2055292912 hasRelatedWork W2041659737 @default.
- W2055292912 hasRelatedWork W2105656272 @default.
- W2055292912 hasRelatedWork W2804371217 @default.
- W2055292912 hasRelatedWork W3006398337 @default.
- W2055292912 hasRelatedWork W4242791220 @default.
- W2055292912 isParatext "false" @default.
- W2055292912 isRetracted "false" @default.
- W2055292912 magId "2055292912" @default.
- W2055292912 workType "article" @default.