Matches in SemOpenAlex for { <https://semopenalex.org/work/W1703087989> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1703087989 endingPage "175" @default.
- W1703087989 startingPage "155" @default.
- W1703087989 abstract "We extend polymorphic type inference with a very general notion of subtype based on the concept of type transformation. This paper describes the following results. We prove the existence of (i) principal type property and (ii) syntactic completeness of the type-checker, for type inference with subtypes. This result is developed with only minimal assumptions on the underlying theory of subtypes. As a consequence, it can be used as the basis for type inference with a broad class of subtype theories. For a particular “structural” theory of subtypes, those engendered by inclusions between type constants only, we show that principal types are compactly expressible. This suggests that type inference for the structured theory of subtypes is feasible. We describe algorithms necessary for such a system. The main algorithm we develop is called MATCH, an extension to the classical unification algorithm. A proof of correctness for MATCH is given." @default.
- W1703087989 created "2016-06-24" @default.
- W1703087989 creator A5000714311 @default.
- W1703087989 creator A5061000708 @default.
- W1703087989 date "1990-06-01" @default.
- W1703087989 modified "2023-10-18" @default.
- W1703087989 title "Type inference with subtypes" @default.
- W1703087989 cites W2113722134 @default.
- W1703087989 doi "https://doi.org/10.1016/0304-3975(90)90144-7" @default.
- W1703087989 hasPublicationYear "1990" @default.
- W1703087989 type Work @default.
- W1703087989 sameAs 1703087989 @default.
- W1703087989 citedByCount "102" @default.
- W1703087989 countsByYear W17030879892012 @default.
- W1703087989 countsByYear W17030879892014 @default.
- W1703087989 countsByYear W17030879892015 @default.
- W1703087989 countsByYear W17030879892016 @default.
- W1703087989 countsByYear W17030879892018 @default.
- W1703087989 countsByYear W17030879892019 @default.
- W1703087989 countsByYear W17030879892020 @default.
- W1703087989 countsByYear W17030879892022 @default.
- W1703087989 crossrefType "journal-article" @default.
- W1703087989 hasAuthorship W1703087989A5000714311 @default.
- W1703087989 hasAuthorship W1703087989A5061000708 @default.
- W1703087989 hasConcept C104317684 @default.
- W1703087989 hasConcept C11413529 @default.
- W1703087989 hasConcept C12426560 @default.
- W1703087989 hasConcept C134306372 @default.
- W1703087989 hasConcept C154945302 @default.
- W1703087989 hasConcept C17231256 @default.
- W1703087989 hasConcept C185592680 @default.
- W1703087989 hasConcept C18903297 @default.
- W1703087989 hasConcept C198370458 @default.
- W1703087989 hasConcept C199360897 @default.
- W1703087989 hasConcept C204241405 @default.
- W1703087989 hasConcept C2524010 @default.
- W1703087989 hasConcept C2776214188 @default.
- W1703087989 hasConcept C2777212361 @default.
- W1703087989 hasConcept C2777299769 @default.
- W1703087989 hasConcept C2778029271 @default.
- W1703087989 hasConcept C33923547 @default.
- W1703087989 hasConcept C41008148 @default.
- W1703087989 hasConcept C55439883 @default.
- W1703087989 hasConcept C55493867 @default.
- W1703087989 hasConcept C80444323 @default.
- W1703087989 hasConcept C86803240 @default.
- W1703087989 hasConcept C93682546 @default.
- W1703087989 hasConcept C96146094 @default.
- W1703087989 hasConceptScore W1703087989C104317684 @default.
- W1703087989 hasConceptScore W1703087989C11413529 @default.
- W1703087989 hasConceptScore W1703087989C12426560 @default.
- W1703087989 hasConceptScore W1703087989C134306372 @default.
- W1703087989 hasConceptScore W1703087989C154945302 @default.
- W1703087989 hasConceptScore W1703087989C17231256 @default.
- W1703087989 hasConceptScore W1703087989C185592680 @default.
- W1703087989 hasConceptScore W1703087989C18903297 @default.
- W1703087989 hasConceptScore W1703087989C198370458 @default.
- W1703087989 hasConceptScore W1703087989C199360897 @default.
- W1703087989 hasConceptScore W1703087989C204241405 @default.
- W1703087989 hasConceptScore W1703087989C2524010 @default.
- W1703087989 hasConceptScore W1703087989C2776214188 @default.
- W1703087989 hasConceptScore W1703087989C2777212361 @default.
- W1703087989 hasConceptScore W1703087989C2777299769 @default.
- W1703087989 hasConceptScore W1703087989C2778029271 @default.
- W1703087989 hasConceptScore W1703087989C33923547 @default.
- W1703087989 hasConceptScore W1703087989C41008148 @default.
- W1703087989 hasConceptScore W1703087989C55439883 @default.
- W1703087989 hasConceptScore W1703087989C55493867 @default.
- W1703087989 hasConceptScore W1703087989C80444323 @default.
- W1703087989 hasConceptScore W1703087989C86803240 @default.
- W1703087989 hasConceptScore W1703087989C93682546 @default.
- W1703087989 hasConceptScore W1703087989C96146094 @default.
- W1703087989 hasIssue "2" @default.
- W1703087989 hasLocation W17030879891 @default.
- W1703087989 hasOpenAccess W1703087989 @default.
- W1703087989 hasPrimaryLocation W17030879891 @default.
- W1703087989 hasRelatedWork W1539860096 @default.
- W1703087989 hasRelatedWork W1550049051 @default.
- W1703087989 hasRelatedWork W1568497055 @default.
- W1703087989 hasRelatedWork W1703087989 @default.
- W1703087989 hasRelatedWork W1762668282 @default.
- W1703087989 hasRelatedWork W1986487716 @default.
- W1703087989 hasRelatedWork W2154390633 @default.
- W1703087989 hasRelatedWork W2392722258 @default.
- W1703087989 hasRelatedWork W4242791220 @default.
- W1703087989 hasRelatedWork W2913052960 @default.
- W1703087989 hasVolume "73" @default.
- W1703087989 isParatext "false" @default.
- W1703087989 isRetracted "false" @default.
- W1703087989 magId "1703087989" @default.
- W1703087989 workType "article" @default.