Matches in SemOpenAlex for { <https://semopenalex.org/work/W3149755570> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3149755570 endingPage "28" @default.
- W3149755570 startingPage "17" @default.
- W3149755570 abstract "Designing and implementing typed programming languages is hard. Every new type system feature requires extending the metatheory and implementation, which are often complicated and fragile. To ease this process, we would like to provide general mechanisms that subsume many different features. In modern type systems, parametric polymorphism is fundamental, but intersection polymorphism has gained little traction in programming languages. Most practical intersection type systems have supported only refinement intersections, which increase the expressiveness of types (more precise properties can be checked) without altering the expressiveness of terms; refinement intersections can simply be erased during compilation. In contrast, unrestricted intersections increase the expressiveness of terms, and can be used to encode diverse language features, promising an economy of both theory and implementation. We describe a foundation for compiling unrestricted intersection and union types: an elaboration type system that generates ordinary λ-calculus terms. The key feature is a Forsythe-like merge construct. With this construct, not all reductions of the source program preserve types; however, we prove that ordinary call-by-value evaluation of the elaborated program corresponds to a type-preserving evaluation of the source program. We also describe a prototype implementation and applications of unrestricted intersections and unions: records, operator overloading, and simulating dynamic typing." @default.
- W3149755570 created "2021-04-13" @default.
- W3149755570 creator A5007554264 @default.
- W3149755570 date "2012-01-01" @default.
- W3149755570 modified "2023-09-26" @default.
- W3149755570 title "Elaborating intersection and union types." @default.
- W3149755570 hasPublicationYear "2012" @default.
- W3149755570 type Work @default.
- W3149755570 sameAs 3149755570 @default.
- W3149755570 citedByCount "0" @default.
- W3149755570 crossrefType "proceedings-article" @default.
- W3149755570 hasAuthorship W3149755570A5007554264 @default.
- W3149755570 hasConcept C104317684 @default.
- W3149755570 hasConcept C127413603 @default.
- W3149755570 hasConcept C138958017 @default.
- W3149755570 hasConcept C146978453 @default.
- W3149755570 hasConcept C185592680 @default.
- W3149755570 hasConcept C18903297 @default.
- W3149755570 hasConcept C197129107 @default.
- W3149755570 hasConcept C199360897 @default.
- W3149755570 hasConcept C23123220 @default.
- W3149755570 hasConcept C2777299769 @default.
- W3149755570 hasConcept C2780801425 @default.
- W3149755570 hasConcept C39387531 @default.
- W3149755570 hasConcept C41008148 @default.
- W3149755570 hasConcept C55493867 @default.
- W3149755570 hasConcept C64543145 @default.
- W3149755570 hasConcept C66746571 @default.
- W3149755570 hasConcept C80444323 @default.
- W3149755570 hasConcept C86803240 @default.
- W3149755570 hasConcept C93682546 @default.
- W3149755570 hasConceptScore W3149755570C104317684 @default.
- W3149755570 hasConceptScore W3149755570C127413603 @default.
- W3149755570 hasConceptScore W3149755570C138958017 @default.
- W3149755570 hasConceptScore W3149755570C146978453 @default.
- W3149755570 hasConceptScore W3149755570C185592680 @default.
- W3149755570 hasConceptScore W3149755570C18903297 @default.
- W3149755570 hasConceptScore W3149755570C197129107 @default.
- W3149755570 hasConceptScore W3149755570C199360897 @default.
- W3149755570 hasConceptScore W3149755570C23123220 @default.
- W3149755570 hasConceptScore W3149755570C2777299769 @default.
- W3149755570 hasConceptScore W3149755570C2780801425 @default.
- W3149755570 hasConceptScore W3149755570C39387531 @default.
- W3149755570 hasConceptScore W3149755570C41008148 @default.
- W3149755570 hasConceptScore W3149755570C55493867 @default.
- W3149755570 hasConceptScore W3149755570C64543145 @default.
- W3149755570 hasConceptScore W3149755570C66746571 @default.
- W3149755570 hasConceptScore W3149755570C80444323 @default.
- W3149755570 hasConceptScore W3149755570C86803240 @default.
- W3149755570 hasConceptScore W3149755570C93682546 @default.
- W3149755570 hasLocation W31497555701 @default.
- W3149755570 hasOpenAccess W3149755570 @default.
- W3149755570 hasPrimaryLocation W31497555701 @default.
- W3149755570 hasRelatedWork W114885797 @default.
- W3149755570 hasRelatedWork W1490031588 @default.
- W3149755570 hasRelatedWork W1511948860 @default.
- W3149755570 hasRelatedWork W1551236151 @default.
- W3149755570 hasRelatedWork W1580160617 @default.
- W3149755570 hasRelatedWork W1580874247 @default.
- W3149755570 hasRelatedWork W168078688 @default.
- W3149755570 hasRelatedWork W181154243 @default.
- W3149755570 hasRelatedWork W2022072755 @default.
- W3149755570 hasRelatedWork W2086331129 @default.
- W3149755570 hasRelatedWork W2087062265 @default.
- W3149755570 hasRelatedWork W2169119450 @default.
- W3149755570 hasRelatedWork W2204312570 @default.
- W3149755570 hasRelatedWork W2263738566 @default.
- W3149755570 hasRelatedWork W2272418519 @default.
- W3149755570 hasRelatedWork W2437006875 @default.
- W3149755570 hasRelatedWork W2963180860 @default.
- W3149755570 hasRelatedWork W2963898348 @default.
- W3149755570 hasRelatedWork W3102026406 @default.
- W3149755570 hasRelatedWork W953200356 @default.
- W3149755570 isParatext "false" @default.
- W3149755570 isRetracted "false" @default.
- W3149755570 magId "3149755570" @default.
- W3149755570 workType "article" @default.