Matches in SemOpenAlex for { <https://semopenalex.org/work/W2860249105> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2860249105 abstract "Gradually typed languages allow statically typed and dynamically typed code to interact while maintaining benefits of both styles. The key to reasoning about these mixed programs is Siek-Vitousek-Cimini-Boyland's (dynamic) gradual guarantee, which says that giving components of a program precise types only adds runtime type checking, and does not otherwise change behavior. In this paper, we give a semantic reformulation of the gradual guarantee called graduality. We change the name to promote the analogy that graduality is to gradual typing what parametricity is to polymorphism. Each gives a local-to-global, syntactic-to-semantic reasoning principle that is formulated in terms of a kind of observational approximation. Utilizing the analogy, we develop a novel logical relation for proving graduality. We show that embedding-projection pairs (ep pairs) are to graduality what relations are to parametricity. We argue that casts between two types where one is more dynamic (less precise) than the other necessarily form an ep pair, and we use this to cleanly prove the graduality cases for casts from the ep-pair property. To construct ep pairs, we give an analysis of the type dynamism relation (also known as type precision or naive subtyping) that interprets the rules for type dynamism as compositional constructions on ep pairs, analogous to the coercion interpretation of subtyping." @default.
- W2860249105 created "2018-07-19" @default.
- W2860249105 creator A5050680882 @default.
- W2860249105 creator A5084250644 @default.
- W2860249105 date "2018-07-08" @default.
- W2860249105 modified "2023-09-23" @default.
- W2860249105 title "Graduality from Embedding-projection Pairs (Extended Version)." @default.
- W2860249105 cites W1526601993 @default.
- W2860249105 cites W1983256770 @default.
- W2860249105 cites W2023861274 @default.
- W2860249105 cites W2034355944 @default.
- W2860249105 cites W2052973434 @default.
- W2860249105 cites W2128303158 @default.
- W2860249105 cites W2133828278 @default.
- W2860249105 cites W2150998213 @default.
- W2860249105 cites W2151716725 @default.
- W2860249105 cites W2296599395 @default.
- W2860249105 cites W2736821074 @default.
- W2860249105 cites W2753479937 @default.
- W2860249105 cites W2767557842 @default.
- W2860249105 cites W2787703111 @default.
- W2860249105 cites W2911279247 @default.
- W2860249105 cites W3137596000 @default.
- W2860249105 hasPublicationYear "2018" @default.
- W2860249105 type Work @default.
- W2860249105 sameAs 2860249105 @default.
- W2860249105 citedByCount "0" @default.
- W2860249105 crossrefType "posted-content" @default.
- W2860249105 hasAuthorship W2860249105A5050680882 @default.
- W2860249105 hasAuthorship W2860249105A5084250644 @default.
- W2860249105 hasConcept C111472728 @default.
- W2860249105 hasConcept C121332964 @default.
- W2860249105 hasConcept C121375916 @default.
- W2860249105 hasConcept C138885662 @default.
- W2860249105 hasConcept C154945302 @default.
- W2860249105 hasConcept C18903297 @default.
- W2860249105 hasConcept C189950617 @default.
- W2860249105 hasConcept C199360897 @default.
- W2860249105 hasConcept C25343380 @default.
- W2860249105 hasConcept C2775836275 @default.
- W2860249105 hasConcept C2777299769 @default.
- W2860249105 hasConcept C41008148 @default.
- W2860249105 hasConcept C41608201 @default.
- W2860249105 hasConcept C41895202 @default.
- W2860249105 hasConcept C521332185 @default.
- W2860249105 hasConcept C527412718 @default.
- W2860249105 hasConcept C62520636 @default.
- W2860249105 hasConcept C77088390 @default.
- W2860249105 hasConcept C80444323 @default.
- W2860249105 hasConcept C83852419 @default.
- W2860249105 hasConcept C86803240 @default.
- W2860249105 hasConceptScore W2860249105C111472728 @default.
- W2860249105 hasConceptScore W2860249105C121332964 @default.
- W2860249105 hasConceptScore W2860249105C121375916 @default.
- W2860249105 hasConceptScore W2860249105C138885662 @default.
- W2860249105 hasConceptScore W2860249105C154945302 @default.
- W2860249105 hasConceptScore W2860249105C18903297 @default.
- W2860249105 hasConceptScore W2860249105C189950617 @default.
- W2860249105 hasConceptScore W2860249105C199360897 @default.
- W2860249105 hasConceptScore W2860249105C25343380 @default.
- W2860249105 hasConceptScore W2860249105C2775836275 @default.
- W2860249105 hasConceptScore W2860249105C2777299769 @default.
- W2860249105 hasConceptScore W2860249105C41008148 @default.
- W2860249105 hasConceptScore W2860249105C41608201 @default.
- W2860249105 hasConceptScore W2860249105C41895202 @default.
- W2860249105 hasConceptScore W2860249105C521332185 @default.
- W2860249105 hasConceptScore W2860249105C527412718 @default.
- W2860249105 hasConceptScore W2860249105C62520636 @default.
- W2860249105 hasConceptScore W2860249105C77088390 @default.
- W2860249105 hasConceptScore W2860249105C80444323 @default.
- W2860249105 hasConceptScore W2860249105C83852419 @default.
- W2860249105 hasConceptScore W2860249105C86803240 @default.
- W2860249105 hasLocation W28602491051 @default.
- W2860249105 hasOpenAccess W2860249105 @default.
- W2860249105 hasPrimaryLocation W28602491051 @default.
- W2860249105 hasRelatedWork W142035240 @default.
- W2860249105 hasRelatedWork W1523144187 @default.
- W2860249105 hasRelatedWork W1562811980 @default.
- W2860249105 hasRelatedWork W1588704632 @default.
- W2860249105 hasRelatedWork W1792817236 @default.
- W2860249105 hasRelatedWork W1974528591 @default.
- W2860249105 hasRelatedWork W2034197623 @default.
- W2860249105 hasRelatedWork W2052212743 @default.
- W2860249105 hasRelatedWork W2054675474 @default.
- W2860249105 hasRelatedWork W2056253254 @default.
- W2860249105 hasRelatedWork W2062887328 @default.
- W2860249105 hasRelatedWork W2102135385 @default.
- W2860249105 hasRelatedWork W2155934345 @default.
- W2860249105 hasRelatedWork W2259267252 @default.
- W2860249105 hasRelatedWork W2345630158 @default.
- W2860249105 hasRelatedWork W2603603316 @default.
- W2860249105 hasRelatedWork W2966447513 @default.
- W2860249105 hasRelatedWork W3023025460 @default.
- W2860249105 hasRelatedWork W61888246 @default.
- W2860249105 hasRelatedWork W2904888030 @default.
- W2860249105 isParatext "false" @default.
- W2860249105 isRetracted "false" @default.
- W2860249105 magId "2860249105" @default.
- W2860249105 workType "article" @default.