Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072392034> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2072392034 abstract "The CPS hierarchy of Danvy and Filinski is a hierarchy of continuations that allows for expressing nested control effects characteristic of, e.g., non-deterministic programming or certain instances of normalization by evaluation. In this article, we present a comprehensive study of a typed version of the CPS hierarchy, where the typing discipline generalizes Danvy and Filinski's type system for control operators shift and reset. To this end, we define a typed family of control operators that give access to delimited continuations in the CPS hierarchy and that are slightly more flexible than Danvy and Filinski's family of control operators shift_i and reset_i, but, as we show, are equally expressive. For this type system, we prove subject reduction, soundness with respect to the CPS translation, and termination of evaluation. We also show that our results scale to a type system for even more flexible control operators expressible in the CPS hierarchy." @default.
- W2072392034 created "2016-06-24" @default.
- W2072392034 creator A5018745484 @default.
- W2072392034 creator A5083683038 @default.
- W2072392034 creator A5084400751 @default.
- W2072392034 date "2011-07-20" @default.
- W2072392034 modified "2023-10-01" @default.
- W2072392034 title "Typing control operators in the CPS hierarchy" @default.
- W2072392034 cites W1569805491 @default.
- W2072392034 cites W1831716037 @default.
- W2072392034 cites W1980476455 @default.
- W2072392034 cites W1981224255 @default.
- W2072392034 cites W2032124026 @default.
- W2072392034 cites W2032867410 @default.
- W2072392034 cites W2062436529 @default.
- W2072392034 cites W2062813067 @default.
- W2072392034 cites W2083697466 @default.
- W2072392034 cites W2088735483 @default.
- W2072392034 cites W2102751162 @default.
- W2072392034 cites W2109833947 @default.
- W2072392034 cites W2119464086 @default.
- W2072392034 cites W2126896456 @default.
- W2072392034 cites W2129819625 @default.
- W2072392034 cites W2149837936 @default.
- W2072392034 cites W2293168108 @default.
- W2072392034 cites W2294422796 @default.
- W2072392034 cites W3105810746 @default.
- W2072392034 doi "https://doi.org/10.1145/2003476.2003498" @default.
- W2072392034 hasPublicationYear "2011" @default.
- W2072392034 type Work @default.
- W2072392034 sameAs 2072392034 @default.
- W2072392034 citedByCount "6" @default.
- W2072392034 countsByYear W20723920342012 @default.
- W2072392034 countsByYear W20723920342013 @default.
- W2072392034 countsByYear W20723920342017 @default.
- W2072392034 countsByYear W20723920342018 @default.
- W2072392034 countsByYear W20723920342019 @default.
- W2072392034 countsByYear W20723920342023 @default.
- W2072392034 crossrefType "proceedings-article" @default.
- W2072392034 hasAuthorship W2072392034A5018745484 @default.
- W2072392034 hasAuthorship W2072392034A5083683038 @default.
- W2072392034 hasAuthorship W2072392034A5084400751 @default.
- W2072392034 hasBestOaLocation W20723920342 @default.
- W2072392034 hasConcept C106159729 @default.
- W2072392034 hasConcept C136886441 @default.
- W2072392034 hasConcept C144024400 @default.
- W2072392034 hasConcept C154945302 @default.
- W2072392034 hasConcept C162324750 @default.
- W2072392034 hasConcept C19165224 @default.
- W2072392034 hasConcept C199360897 @default.
- W2072392034 hasConcept C2775924081 @default.
- W2072392034 hasConcept C2779795794 @default.
- W2072392034 hasConcept C31170391 @default.
- W2072392034 hasConcept C34447519 @default.
- W2072392034 hasConcept C39920170 @default.
- W2072392034 hasConcept C41008148 @default.
- W2072392034 hasConcept C80444323 @default.
- W2072392034 hasConceptScore W2072392034C106159729 @default.
- W2072392034 hasConceptScore W2072392034C136886441 @default.
- W2072392034 hasConceptScore W2072392034C144024400 @default.
- W2072392034 hasConceptScore W2072392034C154945302 @default.
- W2072392034 hasConceptScore W2072392034C162324750 @default.
- W2072392034 hasConceptScore W2072392034C19165224 @default.
- W2072392034 hasConceptScore W2072392034C199360897 @default.
- W2072392034 hasConceptScore W2072392034C2775924081 @default.
- W2072392034 hasConceptScore W2072392034C2779795794 @default.
- W2072392034 hasConceptScore W2072392034C31170391 @default.
- W2072392034 hasConceptScore W2072392034C34447519 @default.
- W2072392034 hasConceptScore W2072392034C39920170 @default.
- W2072392034 hasConceptScore W2072392034C41008148 @default.
- W2072392034 hasConceptScore W2072392034C80444323 @default.
- W2072392034 hasLocation W20723920341 @default.
- W2072392034 hasLocation W20723920342 @default.
- W2072392034 hasLocation W20723920343 @default.
- W2072392034 hasLocation W20723920344 @default.
- W2072392034 hasOpenAccess W2072392034 @default.
- W2072392034 hasPrimaryLocation W20723920341 @default.
- W2072392034 hasRelatedWork W109180904 @default.
- W2072392034 hasRelatedWork W1569472630 @default.
- W2072392034 hasRelatedWork W2007975299 @default.
- W2072392034 hasRelatedWork W2072392034 @default.
- W2072392034 hasRelatedWork W2117798332 @default.
- W2072392034 hasRelatedWork W2163271961 @default.
- W2072392034 hasRelatedWork W2166247150 @default.
- W2072392034 hasRelatedWork W3123828280 @default.
- W2072392034 hasRelatedWork W4237428255 @default.
- W2072392034 hasRelatedWork W4243252198 @default.
- W2072392034 isParatext "false" @default.
- W2072392034 isRetracted "false" @default.
- W2072392034 magId "2072392034" @default.
- W2072392034 workType "article" @default.