FRINK Linked Data Fragments server

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

• W2777452194 endingPage "30" @default.
• W2777452194 startingPage "1" @default.
• W2777452194 abstract "Algebraic effects and handlers have received a lot of attention recently, both from the theoretical point of view and in practical language design. This stems from the fact that algebraic effects give the programmer unprecedented freedom to define, combine, and interpret computational effects. This plenty-of-rope, however, demands not only a deep understanding of the underlying semantics, but also access to practical means of reasoning about effectful code, including correctness and program equivalence. In this paper we tackle this problem by constructing a step-indexed relational interpretation of a call-by-value calculus with algebraic effect handlers and a row-based polymorphic type-and-effect system. Our calculus, while striving for simplicity, enjoys desirable theoretical properties, and is close to the cores of programming languages with algebraic effects used in the wild, while the logical relation we build for it can be used to reason about non-trivial properties, such as contextual equivalence and contextual approximation of programs. Our development has been fully formalised in the Coq proof assistant." @default.
• W2777452194 created "2018-01-05" @default.
• W2777452194 creator A5044376589 @default.
• W2777452194 creator A5047754900 @default.
• W2777452194 creator A5070813957 @default.
• W2777452194 creator A5083683038 @default.
• W2777452194 date "2017-12-27" @default.
• W2777452194 modified "2023-10-16" @default.
• W2777452194 title "Handle with care: relational interpretation of algebraic effects and handlers" @default.
• W2777452194 cites W1495567550 @default.
• W2777452194 cites W1508098446 @default.
• W2777452194 cites W1508489761 @default.
• W2777452194 cites W1518007559 @default.
• W2777452194 cites W1521014576 @default.
• W2777452194 cites W156309329 @default.
• W2777452194 cites W1712407203 @default.
• W2777452194 cites W1965620900 @default.
• W2777452194 cites W1971752790 @default.
• W2777452194 cites W1991984504 @default.
• W2777452194 cites W1996945638 @default.
• W2777452194 cites W1997143185 @default.
• W2777452194 cites W2023149698 @default.
• W2777452194 cites W2026028037 @default.
• W2777452194 cites W2061456508 @default.
• W2777452194 cites W2084115964 @default.
• W2777452194 cites W2086744387 @default.
• W2777452194 cites W2099741881 @default.
• W2777452194 cites W2100559921 @default.
• W2777452194 cites W2109375905 @default.
• W2777452194 cites W2119440710 @default.
• W2777452194 cites W2129902163 @default.
• W2777452194 cites W2153128836 @default.
• W2777452194 cites W2160234152 @default.
• W2777452194 cites W2167696897 @default.
• W2777452194 cites W2170114248 @default.
• W2777452194 cites W2171022981 @default.
• W2777452194 cites W2208976468 @default.
• W2777452194 cites W2460339236 @default.
• W2777452194 cites W2510703714 @default.
• W2777452194 cites W2737306518 @default.
• W2777452194 cites W2744389017 @default.
• W2777452194 cites W2779932201 @default.
• W2777452194 cites W2912476809 @default.
• W2777452194 cites W2914373398 @default.
• W2777452194 cites W2949330042 @default.
• W2777452194 cites W2949578585 @default.
• W2777452194 cites W2963366425 @default.
• W2777452194 cites W3101745982 @default.
• W2777452194 cites W3103594074 @default.
• W2777452194 cites W3105810746 @default.
• W2777452194 cites W4229652664 @default.
• W2777452194 cites W4244977193 @default.
• W2777452194 cites W45878689 @default.
• W2777452194 cites W847838221 @default.
• W2777452194 doi "https://doi.org/10.1145/3158096" @default.
• W2777452194 hasPublicationYear "2017" @default.
• W2777452194 type Work @default.
• W2777452194 sameAs 2777452194 @default.
• W2777452194 citedByCount "14" @default.
• W2777452194 countsByYear W27774521942018 @default.
• W2777452194 countsByYear W27774521942019 @default.
• W2777452194 countsByYear W27774521942020 @default.
• W2777452194 countsByYear W27774521942021 @default.
• W2777452194 countsByYear W27774521942022 @default.
• W2777452194 countsByYear W27774521942023 @default.
• W2777452194 crossrefType "journal-article" @default.
• W2777452194 hasAuthorship W2777452194A5044376589 @default.
• W2777452194 hasAuthorship W2777452194A5047754900 @default.
• W2777452194 hasAuthorship W2777452194A5070813957 @default.
• W2777452194 hasAuthorship W2777452194A5083683038 @default.
• W2777452194 hasBestOaLocation W27774521941 @default.
• W2777452194 hasConcept C118615104 @default.
• W2777452194 hasConcept C134306372 @default.
• W2777452194 hasConcept C136119220 @default.
• W2777452194 hasConcept C199343813 @default.
• W2777452194 hasConcept C199360897 @default.
• W2777452194 hasConcept C202444582 @default.
• W2777452194 hasConcept C2777686260 @default.
• W2777452194 hasConcept C2778514511 @default.
• W2777452194 hasConcept C2780069185 @default.
• W2777452194 hasConcept C33923547 @default.
• W2777452194 hasConcept C41008148 @default.
• W2777452194 hasConcept C527412718 @default.
• W2777452194 hasConcept C55439883 @default.
• W2777452194 hasConcept C71924100 @default.
• W2777452194 hasConcept C80444323 @default.
• W2777452194 hasConcept C9376300 @default.
• W2777452194 hasConceptScore W2777452194C118615104 @default.
• W2777452194 hasConceptScore W2777452194C134306372 @default.
• W2777452194 hasConceptScore W2777452194C136119220 @default.
• W2777452194 hasConceptScore W2777452194C199343813 @default.
• W2777452194 hasConceptScore W2777452194C199360897 @default.
• W2777452194 hasConceptScore W2777452194C202444582 @default.
• W2777452194 hasConceptScore W2777452194C2777686260 @default.
• W2777452194 hasConceptScore W2777452194C2778514511 @default.
• W2777452194 hasConceptScore W2777452194C2780069185 @default.
• W2777452194 hasConceptScore W2777452194C33923547 @default.
• W2777452194 hasConceptScore W2777452194C41008148 @default.

• next