Matches in SemOpenAlex for { <https://semopenalex.org/work/W1619965005> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1619965005 abstract "In this paper we consider the two major computational effects of states and exceptions, from the point of view of diagrammatic logics. We get a surprising result: there exists a symmetry between these two effects, based on the well-known categorical duality between products and coproducts. More precisely, the lookup and update operations for states are respectively dual to the throw and catch operations for exceptions. This symmetry is deeply hidden in the programming languages; in order to unveil it, we start from the monoidal equational logic and we add progressively the logical features which are necessary for dealing with either effect. This approach gives rise to a new point of view on states and exceptions, which bypasses the problems due to the non-algebraicity of handling exceptions." @default.
- W1619965005 created "2016-06-24" @default.
- W1619965005 creator A5039984931 @default.
- W1619965005 creator A5046839127 @default.
- W1619965005 creator A5048888625 @default.
- W1619965005 creator A5070666087 @default.
- W1619965005 date "2011-05-19" @default.
- W1619965005 modified "2023-10-10" @default.
- W1619965005 title "States and exceptions considered as dual effects" @default.
- W1619965005 cites W1521014576 @default.
- W1619965005 cites W1531044060 @default.
- W1619965005 cites W1538724214 @default.
- W1619965005 cites W1606211906 @default.
- W1619965005 cites W174471988 @default.
- W1619965005 cites W1830421783 @default.
- W1619965005 cites W1941293007 @default.
- W1619965005 cites W1965620900 @default.
- W1619965005 cites W2004740429 @default.
- W1619965005 cites W2037984920 @default.
- W1619965005 cites W2052395241 @default.
- W1619965005 cites W2110189158 @default.
- W1619965005 cites W2141000465 @default.
- W1619965005 cites W2294422796 @default.
- W1619965005 cites W2914424471 @default.
- W1619965005 cites W602280613 @default.
- W1619965005 hasPublicationYear "2011" @default.
- W1619965005 type Work @default.
- W1619965005 sameAs 1619965005 @default.
- W1619965005 citedByCount "1" @default.
- W1619965005 crossrefType "posted-content" @default.
- W1619965005 hasAuthorship W1619965005A5039984931 @default.
- W1619965005 hasAuthorship W1619965005A5046839127 @default.
- W1619965005 hasAuthorship W1619965005A5048888625 @default.
- W1619965005 hasAuthorship W1619965005A5070666087 @default.
- W1619965005 hasBestOaLocation W16199650051 @default.
- W1619965005 hasConcept C138885662 @default.
- W1619965005 hasConcept C2780980858 @default.
- W1619965005 hasConcept C41895202 @default.
- W1619965005 hasConceptScore W1619965005C138885662 @default.
- W1619965005 hasConceptScore W1619965005C2780980858 @default.
- W1619965005 hasConceptScore W1619965005C41895202 @default.
- W1619965005 hasLocation W16199650051 @default.
- W1619965005 hasLocation W16199650052 @default.
- W1619965005 hasLocation W16199650053 @default.
- W1619965005 hasLocation W16199650054 @default.
- W1619965005 hasLocation W16199650055 @default.
- W1619965005 hasLocation W16199650056 @default.
- W1619965005 hasOpenAccess W1619965005 @default.
- W1619965005 hasPrimaryLocation W16199650051 @default.
- W1619965005 hasRelatedWork W1988622314 @default.
- W1619965005 hasRelatedWork W2152772989 @default.
- W1619965005 hasRelatedWork W2317351040 @default.
- W1619965005 hasRelatedWork W2372693287 @default.
- W1619965005 hasRelatedWork W2393949104 @default.
- W1619965005 hasRelatedWork W2807441102 @default.
- W1619965005 hasRelatedWork W2952466936 @default.
- W1619965005 hasRelatedWork W3046201198 @default.
- W1619965005 hasRelatedWork W4285447065 @default.
- W1619965005 hasRelatedWork W4293061921 @default.
- W1619965005 isParatext "false" @default.
- W1619965005 isRetracted "false" @default.
- W1619965005 magId "1619965005" @default.
- W1619965005 workType "article" @default.