Matches in SemOpenAlex for { <https://semopenalex.org/work/W4256143062> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4256143062 abstract "There is a correspondence between classical logic and programming language calculi with first-class continuations. With the addition of control delimiters (prompts), the continuations become composable and the calculi are believed to become more expressive. We formalise that the addition of prompts corresponds to the addition of a single dynamically-scoped variable modelling the special top-level continuation. From a type perspective, the dynamically-scoped variable requires effect annotations. From a logic perspective, the effect annotations can be understood in a standard logic extended with the dual of implication, namely subtraction." @default.
- W4256143062 created "2022-05-12" @default.
- W4256143062 creator A5060487163 @default.
- W4256143062 creator A5064696313 @default.
- W4256143062 creator A5084476883 @default.
- W4256143062 date "2004-09-19" @default.
- W4256143062 modified "2023-10-17" @default.
- W4256143062 title "A type-theoretic foundation of continuations and prompts" @default.
- W4256143062 cites W1542431166 @default.
- W4256143062 cites W1549750188 @default.
- W4256143062 cites W1594928432 @default.
- W4256143062 cites W1606105243 @default.
- W4256143062 cites W1829885432 @default.
- W4256143062 cites W1974921390 @default.
- W4256143062 cites W1975575519 @default.
- W4256143062 cites W1980476455 @default.
- W4256143062 cites W1992124283 @default.
- W4256143062 cites W1992582651 @default.
- W4256143062 cites W1999643018 @default.
- W4256143062 cites W2004105509 @default.
- W4256143062 cites W2007759294 @default.
- W4256143062 cites W2014085418 @default.
- W4256143062 cites W2016326123 @default.
- W4256143062 cites W2032063820 @default.
- W4256143062 cites W2054299141 @default.
- W4256143062 cites W2135287414 @default.
- W4256143062 cites W2293168108 @default.
- W4256143062 cites W2294422796 @default.
- W4256143062 cites W2296549752 @default.
- W4256143062 cites W2912464567 @default.
- W4256143062 cites W3091574018 @default.
- W4256143062 cites W4232619596 @default.
- W4256143062 cites W4255936665 @default.
- W4256143062 doi "https://doi.org/10.1145/1016850.1016860" @default.
- W4256143062 hasPublicationYear "2004" @default.
- W4256143062 type Work @default.
- W4256143062 citedByCount "14" @default.
- W4256143062 countsByYear W42561430622014 @default.
- W4256143062 countsByYear W42561430622016 @default.
- W4256143062 countsByYear W42561430622017 @default.
- W4256143062 countsByYear W42561430622021 @default.
- W4256143062 crossrefType "proceedings-article" @default.
- W4256143062 hasAuthorship W4256143062A5060487163 @default.
- W4256143062 hasAuthorship W4256143062A5064696313 @default.
- W4256143062 hasAuthorship W4256143062A5084476883 @default.
- W4256143062 hasConcept C12713177 @default.
- W4256143062 hasConcept C128838566 @default.
- W4256143062 hasConcept C134306372 @default.
- W4256143062 hasConcept C154945302 @default.
- W4256143062 hasConcept C182365436 @default.
- W4256143062 hasConcept C18903297 @default.
- W4256143062 hasConcept C199360897 @default.
- W4256143062 hasConcept C2777212361 @default.
- W4256143062 hasConcept C2777299769 @default.
- W4256143062 hasConcept C2987117450 @default.
- W4256143062 hasConcept C33923547 @default.
- W4256143062 hasConcept C41008148 @default.
- W4256143062 hasConcept C80444323 @default.
- W4256143062 hasConcept C86803240 @default.
- W4256143062 hasConcept C88626702 @default.
- W4256143062 hasConceptScore W4256143062C12713177 @default.
- W4256143062 hasConceptScore W4256143062C128838566 @default.
- W4256143062 hasConceptScore W4256143062C134306372 @default.
- W4256143062 hasConceptScore W4256143062C154945302 @default.
- W4256143062 hasConceptScore W4256143062C182365436 @default.
- W4256143062 hasConceptScore W4256143062C18903297 @default.
- W4256143062 hasConceptScore W4256143062C199360897 @default.
- W4256143062 hasConceptScore W4256143062C2777212361 @default.
- W4256143062 hasConceptScore W4256143062C2777299769 @default.
- W4256143062 hasConceptScore W4256143062C2987117450 @default.
- W4256143062 hasConceptScore W4256143062C33923547 @default.
- W4256143062 hasConceptScore W4256143062C41008148 @default.
- W4256143062 hasConceptScore W4256143062C80444323 @default.
- W4256143062 hasConceptScore W4256143062C86803240 @default.
- W4256143062 hasConceptScore W4256143062C88626702 @default.
- W4256143062 hasLocation W42561430621 @default.
- W4256143062 hasOpenAccess W4256143062 @default.
- W4256143062 hasPrimaryLocation W42561430621 @default.
- W4256143062 hasRelatedWork W134220871 @default.
- W4256143062 hasRelatedWork W1608766964 @default.
- W4256143062 hasRelatedWork W174053435 @default.
- W4256143062 hasRelatedWork W1885402555 @default.
- W4256143062 hasRelatedWork W2003151706 @default.
- W4256143062 hasRelatedWork W201827850 @default.
- W4256143062 hasRelatedWork W2097388634 @default.
- W4256143062 hasRelatedWork W26136800 @default.
- W4256143062 hasRelatedWork W337666875 @default.
- W4256143062 hasRelatedWork W50928870 @default.
- W4256143062 isParatext "false" @default.
- W4256143062 isRetracted "false" @default.
- W4256143062 workType "article" @default.