FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136696721> ?p ?o ?g. }

• W2136696721 endingPage "93" @default.
• W2136696721 startingPage "81" @default.
• W2136696721 abstract "We present a type system with subtyping for first-class delimited continuations that generalizes Danvy and Filinski's type system for shift and reset by maintaining explicit information about the types of contexts in the metacontext. We exploit this generalization by considering the control operators known as shift 0 and reset 0 that can access arbitrary contexts in the metacontext. We use subtyping to control the level of information about the metacontext the expression actually requires and in particular to coerce pure expressions into effectful ones. For this type system we prove strong type soundness and termination of evaluation and we present a provably correct type reconstruction algorithm. We also introduce two CPS translations for shift 0 and reset 0 : one targeting the untyped lambda calculus, and another - type-directed - targeting the simply-typed lambda calculus. The latter translation preserves typability and is selective in that it keeps pure expressions in direct style." @default.
• W2136696721 created "2016-06-24" @default.
• W2136696721 creator A5022432796 @default.
• W2136696721 creator A5083683038 @default.
• W2136696721 date "2011-09-18" @default.
• W2136696721 modified "2023-10-17" @default.
• W2136696721 title "Subtyping delimited continuations" @default.
• W2136696721 cites W1578657094 @default.
• W2136696721 cites W1783388813 @default.
• W2136696721 cites W1980476455 @default.
• W2136696721 cites W1981224255 @default.
• W2136696721 cites W2007759294 @default.
• W2136696721 cites W2041438114 @default.
• W2136696721 cites W2043100293 @default.
• W2136696721 cites W2083697466 @default.
• W2136696721 cites W2086744387 @default.
• W2136696721 cites W2088735483 @default.
• W2136696721 cites W2092112509 @default.
• W2136696721 cites W2102435409 @default.
• W2136696721 cites W2102751162 @default.
• W2136696721 cites W2109833947 @default.
• W2136696721 cites W2127114597 @default.
• W2136696721 cites W2133051483 @default.
• W2136696721 cites W2159591963 @default.
• W2136696721 cites W2163285555 @default.
• W2136696721 cites W2293168108 @default.
• W2136696721 cites W2294422796 @default.
• W2136696721 cites W3105810746 @default.
• W2136696721 doi "https://doi.org/10.1145/2034574.2034786" @default.
• W2136696721 hasPublicationYear "2011" @default.
• W2136696721 type Work @default.
• W2136696721 sameAs 2136696721 @default.
• W2136696721 citedByCount "8" @default.
• W2136696721 countsByYear W21366967212012 @default.
• W2136696721 countsByYear W21366967212013 @default.
• W2136696721 countsByYear W21366967212017 @default.
• W2136696721 countsByYear W21366967212019 @default.
• W2136696721 countsByYear W21366967212020 @default.
• W2136696721 countsByYear W21366967212021 @default.
• W2136696721 crossrefType "journal-article" @default.
• W2136696721 hasAuthorship W2136696721A5022432796 @default.
• W2136696721 hasAuthorship W2136696721A5083683038 @default.
• W2136696721 hasConcept C104317684 @default.
• W2136696721 hasConcept C105580179 @default.
• W2136696721 hasConcept C106159729 @default.
• W2136696721 hasConcept C134306372 @default.
• W2136696721 hasConcept C135790938 @default.
• W2136696721 hasConcept C149364088 @default.
• W2136696721 hasConcept C154945302 @default.
• W2136696721 hasConcept C158448853 @default.
• W2136696721 hasConcept C162324750 @default.
• W2136696721 hasConcept C17020691 @default.
• W2136696721 hasConcept C177148314 @default.
• W2136696721 hasConcept C185592680 @default.
• W2136696721 hasConcept C18903297 @default.
• W2136696721 hasConcept C198370458 @default.
• W2136696721 hasConcept C199360897 @default.
• W2136696721 hasConcept C2776214188 @default.
• W2136696721 hasConcept C2777299769 @default.
• W2136696721 hasConcept C2779795794 @default.
• W2136696721 hasConcept C33923547 @default.
• W2136696721 hasConcept C39920170 @default.
• W2136696721 hasConcept C41008148 @default.
• W2136696721 hasConcept C55493867 @default.
• W2136696721 hasConcept C80444323 @default.
• W2136696721 hasConcept C83852419 @default.
• W2136696721 hasConcept C86339819 @default.
• W2136696721 hasConcept C86803240 @default.
• W2136696721 hasConceptScore W2136696721C104317684 @default.
• W2136696721 hasConceptScore W2136696721C105580179 @default.
• W2136696721 hasConceptScore W2136696721C106159729 @default.
• W2136696721 hasConceptScore W2136696721C134306372 @default.
• W2136696721 hasConceptScore W2136696721C135790938 @default.
• W2136696721 hasConceptScore W2136696721C149364088 @default.
• W2136696721 hasConceptScore W2136696721C154945302 @default.
• W2136696721 hasConceptScore W2136696721C158448853 @default.
• W2136696721 hasConceptScore W2136696721C162324750 @default.
• W2136696721 hasConceptScore W2136696721C17020691 @default.
• W2136696721 hasConceptScore W2136696721C177148314 @default.
• W2136696721 hasConceptScore W2136696721C185592680 @default.
• W2136696721 hasConceptScore W2136696721C18903297 @default.
• W2136696721 hasConceptScore W2136696721C198370458 @default.
• W2136696721 hasConceptScore W2136696721C199360897 @default.
• W2136696721 hasConceptScore W2136696721C2776214188 @default.
• W2136696721 hasConceptScore W2136696721C2777299769 @default.
• W2136696721 hasConceptScore W2136696721C2779795794 @default.
• W2136696721 hasConceptScore W2136696721C33923547 @default.
• W2136696721 hasConceptScore W2136696721C39920170 @default.
• W2136696721 hasConceptScore W2136696721C41008148 @default.
• W2136696721 hasConceptScore W2136696721C55493867 @default.
• W2136696721 hasConceptScore W2136696721C80444323 @default.
• W2136696721 hasConceptScore W2136696721C83852419 @default.
• W2136696721 hasConceptScore W2136696721C86339819 @default.
• W2136696721 hasConceptScore W2136696721C86803240 @default.
• W2136696721 hasIssue "9" @default.
• W2136696721 hasLocation W21366967211 @default.
• W2136696721 hasOpenAccess W2136696721 @default.
• W2136696721 hasPrimaryLocation W21366967211 @default.

• next