Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949584948> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2949584948 abstract "Expansion is an operation on typings (i.e., pairs of typing environments and result types) defined originally in type systems for the lambda-calculus with intersection types in order to obtain principal (i.e., most informative, strongest) typings. In a type inference scenario, expansion allows postponing choices for whether and how to use non-syntax-driven typing rules (e.g., intersection introduction) until enough information has been gathered to make the right decision. Furthermore, these choices can be equivalent to inserting uses of such typing rules at deeply nested positions in a typing derivation, without needing to actually inspect or modify (or even have) the typing derivation. Expansion has in recent years become simpler due to the use of expansion variables (e.g., in System E). This paper extends expansion and expansion variables to systems with forall-quantifiers. We present System Fs, an extension of System F with expansion, and prove its main properties. This system turns type inference into a constraint solving problem; this could be helpful to design a modular type inference algorithm for System F types in the future." @default.
- W2949584948 created "2019-06-27" @default.
- W2949584948 creator A5018745484 @default.
- W2949584948 creator A5083304815 @default.
- W2949584948 date "2012-01-05" @default.
- W2949584948 modified "2023-10-16" @default.
- W2949584948 title "Expansion for Universal Quantifiers" @default.
- W2949584948 cites W1492943981 @default.
- W2949584948 cites W1583851197 @default.
- W2949584948 cites W1595372275 @default.
- W2949584948 cites W1993209012 @default.
- W2949584948 cites W2056253254 @default.
- W2949584948 cites W2080040385 @default.
- W2949584948 cites W2087381628 @default.
- W2949584948 cites W2097157641 @default.
- W2949584948 cites W2123068072 @default.
- W2949584948 cites W2129788677 @default.
- W2949584948 cites W2137676482 @default.
- W2949584948 cites W2163976959 @default.
- W2949584948 cites W2166822586 @default.
- W2949584948 cites W2167904762 @default.
- W2949584948 cites W2911299022 @default.
- W2949584948 cites W2911772578 @default.
- W2949584948 doi "https://doi.org/10.48550/arxiv.1201.1101" @default.
- W2949584948 hasPublicationYear "2012" @default.
- W2949584948 type Work @default.
- W2949584948 sameAs 2949584948 @default.
- W2949584948 citedByCount "1" @default.
- W2949584948 countsByYear W29495849482012 @default.
- W2949584948 crossrefType "posted-content" @default.
- W2949584948 hasAuthorship W2949584948A5018745484 @default.
- W2949584948 hasAuthorship W2949584948A5083304815 @default.
- W2949584948 hasBestOaLocation W29495849481 @default.
- W2949584948 hasConcept C101468663 @default.
- W2949584948 hasConcept C127413603 @default.
- W2949584948 hasConcept C136119220 @default.
- W2949584948 hasConcept C146978453 @default.
- W2949584948 hasConcept C154945302 @default.
- W2949584948 hasConcept C18903297 @default.
- W2949584948 hasConcept C198370458 @default.
- W2949584948 hasConcept C199360897 @default.
- W2949584948 hasConcept C202444582 @default.
- W2949584948 hasConcept C2524010 @default.
- W2949584948 hasConcept C2776036281 @default.
- W2949584948 hasConcept C2776214188 @default.
- W2949584948 hasConcept C2777299769 @default.
- W2949584948 hasConcept C2781209916 @default.
- W2949584948 hasConcept C28490314 @default.
- W2949584948 hasConcept C33923547 @default.
- W2949584948 hasConcept C41008148 @default.
- W2949584948 hasConcept C60048249 @default.
- W2949584948 hasConcept C64543145 @default.
- W2949584948 hasConcept C80444323 @default.
- W2949584948 hasConcept C86803240 @default.
- W2949584948 hasConceptScore W2949584948C101468663 @default.
- W2949584948 hasConceptScore W2949584948C127413603 @default.
- W2949584948 hasConceptScore W2949584948C136119220 @default.
- W2949584948 hasConceptScore W2949584948C146978453 @default.
- W2949584948 hasConceptScore W2949584948C154945302 @default.
- W2949584948 hasConceptScore W2949584948C18903297 @default.
- W2949584948 hasConceptScore W2949584948C198370458 @default.
- W2949584948 hasConceptScore W2949584948C199360897 @default.
- W2949584948 hasConceptScore W2949584948C202444582 @default.
- W2949584948 hasConceptScore W2949584948C2524010 @default.
- W2949584948 hasConceptScore W2949584948C2776036281 @default.
- W2949584948 hasConceptScore W2949584948C2776214188 @default.
- W2949584948 hasConceptScore W2949584948C2777299769 @default.
- W2949584948 hasConceptScore W2949584948C2781209916 @default.
- W2949584948 hasConceptScore W2949584948C28490314 @default.
- W2949584948 hasConceptScore W2949584948C33923547 @default.
- W2949584948 hasConceptScore W2949584948C41008148 @default.
- W2949584948 hasConceptScore W2949584948C60048249 @default.
- W2949584948 hasConceptScore W2949584948C64543145 @default.
- W2949584948 hasConceptScore W2949584948C80444323 @default.
- W2949584948 hasConceptScore W2949584948C86803240 @default.
- W2949584948 hasLocation W29495849481 @default.
- W2949584948 hasLocation W29495849482 @default.
- W2949584948 hasLocation W29495849483 @default.
- W2949584948 hasLocation W29495849484 @default.
- W2949584948 hasLocation W29495849485 @default.
- W2949584948 hasOpenAccess W2949584948 @default.
- W2949584948 hasPrimaryLocation W29495849481 @default.
- W2949584948 hasRelatedWork W1550049051 @default.
- W2949584948 hasRelatedWork W191500592 @default.
- W2949584948 hasRelatedWork W1941412300 @default.
- W2949584948 hasRelatedWork W1977621403 @default.
- W2949584948 hasRelatedWork W2042751794 @default.
- W2949584948 hasRelatedWork W2358992323 @default.
- W2949584948 hasRelatedWork W4242791220 @default.
- W2949584948 hasRelatedWork W4246531319 @default.
- W2949584948 hasRelatedWork W4252419525 @default.
- W2949584948 hasRelatedWork W2584819674 @default.
- W2949584948 isParatext "false" @default.
- W2949584948 isRetracted "false" @default.
- W2949584948 magId "2949584948" @default.
- W2949584948 workType "article" @default.