Matches in SemOpenAlex for { <https://semopenalex.org/work/W2798715557> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2798715557 abstract "Motivated by the problem of separating syntax from semantics in programming with algebraic effects and handlers, we propose a categorical model of abstract syntax with so-called scoped operations. As a building block of a term, a scoped operation is not merely a node in a tree, as it can also encompass a whole part of the term (a scope). Some examples from the area of programming are given by the operation catch for handling exceptions, in which the part in the scope is the code that may raise an exception, or the operation once, which selects a single solution from a nondeterministic computation. A distinctive feature of such operations is their behaviour under program composition, that is, syntactic substitution." @default.
- W2798715557 created "2018-05-07" @default.
- W2798715557 creator A5044376589 @default.
- W2798715557 creator A5050247934 @default.
- W2798715557 creator A5060258989 @default.
- W2798715557 creator A5072641397 @default.
- W2798715557 date "2018-07-09" @default.
- W2798715557 modified "2023-10-06" @default.
- W2798715557 title "Syntax and Semantics for Operations with Scopes" @default.
- W2798715557 cites W1606211906 @default.
- W2798715557 cites W1830421783 @default.
- W2798715557 cites W2014257084 @default.
- W2798715557 cites W2020531742 @default.
- W2798715557 cites W2048365843 @default.
- W2798715557 cites W2061456508 @default.
- W2798715557 cites W2084115964 @default.
- W2798715557 cites W2099741881 @default.
- W2798715557 cites W2108760508 @default.
- W2798715557 cites W2160234152 @default.
- W2798715557 cites W2163552400 @default.
- W2798715557 cites W2184230987 @default.
- W2798715557 cites W2338036611 @default.
- W2798715557 cites W3099136629 @default.
- W2798715557 cites W3103594074 @default.
- W2798715557 cites W4235410435 @default.
- W2798715557 doi "https://doi.org/10.1145/3209108.3209166" @default.
- W2798715557 hasPublicationYear "2018" @default.
- W2798715557 type Work @default.
- W2798715557 sameAs 2798715557 @default.
- W2798715557 citedByCount "14" @default.
- W2798715557 countsByYear W27987155572019 @default.
- W2798715557 countsByYear W27987155572020 @default.
- W2798715557 countsByYear W27987155572021 @default.
- W2798715557 countsByYear W27987155572022 @default.
- W2798715557 countsByYear W27987155572023 @default.
- W2798715557 crossrefType "proceedings-article" @default.
- W2798715557 hasAuthorship W2798715557A5044376589 @default.
- W2798715557 hasAuthorship W2798715557A5050247934 @default.
- W2798715557 hasAuthorship W2798715557A5060258989 @default.
- W2798715557 hasAuthorship W2798715557A5072641397 @default.
- W2798715557 hasBestOaLocation W27987155572 @default.
- W2798715557 hasConcept C114408938 @default.
- W2798715557 hasConcept C121332964 @default.
- W2798715557 hasConcept C138885662 @default.
- W2798715557 hasConcept C154945302 @default.
- W2798715557 hasConcept C176181172 @default.
- W2798715557 hasConcept C184337299 @default.
- W2798715557 hasConcept C186644900 @default.
- W2798715557 hasConcept C199360897 @default.
- W2798715557 hasConcept C2524010 @default.
- W2798715557 hasConcept C2776401178 @default.
- W2798715557 hasConcept C2777210771 @default.
- W2798715557 hasConcept C2778012447 @default.
- W2798715557 hasConcept C33923547 @default.
- W2798715557 hasConcept C41008148 @default.
- W2798715557 hasConcept C41895202 @default.
- W2798715557 hasConcept C58646249 @default.
- W2798715557 hasConcept C60048249 @default.
- W2798715557 hasConcept C61797465 @default.
- W2798715557 hasConcept C62520636 @default.
- W2798715557 hasConcept C80444323 @default.
- W2798715557 hasConceptScore W2798715557C114408938 @default.
- W2798715557 hasConceptScore W2798715557C121332964 @default.
- W2798715557 hasConceptScore W2798715557C138885662 @default.
- W2798715557 hasConceptScore W2798715557C154945302 @default.
- W2798715557 hasConceptScore W2798715557C176181172 @default.
- W2798715557 hasConceptScore W2798715557C184337299 @default.
- W2798715557 hasConceptScore W2798715557C186644900 @default.
- W2798715557 hasConceptScore W2798715557C199360897 @default.
- W2798715557 hasConceptScore W2798715557C2524010 @default.
- W2798715557 hasConceptScore W2798715557C2776401178 @default.
- W2798715557 hasConceptScore W2798715557C2777210771 @default.
- W2798715557 hasConceptScore W2798715557C2778012447 @default.
- W2798715557 hasConceptScore W2798715557C33923547 @default.
- W2798715557 hasConceptScore W2798715557C41008148 @default.
- W2798715557 hasConceptScore W2798715557C41895202 @default.
- W2798715557 hasConceptScore W2798715557C58646249 @default.
- W2798715557 hasConceptScore W2798715557C60048249 @default.
- W2798715557 hasConceptScore W2798715557C61797465 @default.
- W2798715557 hasConceptScore W2798715557C62520636 @default.
- W2798715557 hasConceptScore W2798715557C80444323 @default.
- W2798715557 hasLocation W27987155571 @default.
- W2798715557 hasLocation W27987155572 @default.
- W2798715557 hasLocation W27987155573 @default.
- W2798715557 hasOpenAccess W2798715557 @default.
- W2798715557 hasPrimaryLocation W27987155571 @default.
- W2798715557 hasRelatedWork W1527115930 @default.
- W2798715557 hasRelatedWork W1782526664 @default.
- W2798715557 hasRelatedWork W1975007607 @default.
- W2798715557 hasRelatedWork W2017163896 @default.
- W2798715557 hasRelatedWork W2104023854 @default.
- W2798715557 hasRelatedWork W2203405714 @default.
- W2798715557 hasRelatedWork W2390302156 @default.
- W2798715557 hasRelatedWork W2514398768 @default.
- W2798715557 hasRelatedWork W2514850971 @default.
- W2798715557 hasRelatedWork W4246531319 @default.
- W2798715557 isParatext "false" @default.
- W2798715557 isRetracted "false" @default.
- W2798715557 magId "2798715557" @default.
- W2798715557 workType "article" @default.