Matches in SemOpenAlex for { <https://semopenalex.org/work/W4231733625> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4231733625 endingPage "70" @default.
- W4231733625 startingPage "59" @default.
- W4231733625 abstract "We design and implement a library that solves the long-standing problem of combining effects without imposing restrictions on their interactions (such as static ordering). Effects arise from interactions between a client and an effect handler (interpreter); interactions may vary throughout the program and dynamically adapt to execution conditions. Existing code that relies on monad transformers may be used with our library with minor changes, gaining efficiency over long monad stacks. In addition, our library has greater expressiveness, allowing for practical idioms that are inefficient, cumbersome, or outright impossible with monad transformers. Our alternative to a monad transformer stack is a single monad, for the coroutine-like communication of a client with its handler. Its type reflects possible requests, i.e., possible effects of a computation. To support arbitrary effects and their combinations, requests are values of an extensible union type, which allows adding and, notably, subtracting summands. Extending and, upon handling, shrinking of the union of possible requests is reflected in its type, yielding a type-and-effect system for Haskell. The library is lightweight, generalizing the extensible exception handling to other effects and accurately tracking them in types." @default.
- W4231733625 created "2022-05-12" @default.
- W4231733625 creator A5000431946 @default.
- W4231733625 creator A5071276091 @default.
- W4231733625 creator A5084476883 @default.
- W4231733625 date "2013-09-23" @default.
- W4231733625 modified "2023-09-29" @default.
- W4231733625 title "Extensible effects" @default.
- W4231733625 cites W1508259349 @default.
- W4231733625 cites W1830421783 @default.
- W4231733625 cites W1893810794 @default.
- W4231733625 cites W1970782371 @default.
- W4231733625 cites W1971752790 @default.
- W4231733625 cites W1980476455 @default.
- W4231733625 cites W1985341972 @default.
- W4231733625 cites W1986291093 @default.
- W4231733625 cites W1995674161 @default.
- W4231733625 cites W2037984920 @default.
- W4231733625 cites W2058162377 @default.
- W4231733625 cites W2098983494 @default.
- W4231733625 cites W2099741881 @default.
- W4231733625 cites W2102459565 @default.
- W4231733625 cites W2141576692 @default.
- W4231733625 cites W2150276232 @default.
- W4231733625 cites W2163552400 @default.
- W4231733625 cites W2294422796 @default.
- W4231733625 cites W4236962246 @default.
- W4231733625 cites W4244177239 @default.
- W4231733625 doi "https://doi.org/10.1145/2578854.2503791" @default.
- W4231733625 hasPublicationYear "2013" @default.
- W4231733625 type Work @default.
- W4231733625 citedByCount "12" @default.
- W4231733625 countsByYear W42317336252015 @default.
- W4231733625 countsByYear W42317336252017 @default.
- W4231733625 countsByYear W42317336252018 @default.
- W4231733625 countsByYear W42317336252019 @default.
- W4231733625 countsByYear W42317336252020 @default.
- W4231733625 countsByYear W42317336252021 @default.
- W4231733625 countsByYear W42317336252022 @default.
- W4231733625 countsByYear W42317336252023 @default.
- W4231733625 crossrefType "journal-article" @default.
- W4231733625 hasAuthorship W4231733625A5000431946 @default.
- W4231733625 hasAuthorship W4231733625A5071276091 @default.
- W4231733625 hasAuthorship W4231733625A5084476883 @default.
- W4231733625 hasBestOaLocation W42317336251 @default.
- W4231733625 hasConcept C118615104 @default.
- W4231733625 hasConcept C121332964 @default.
- W4231733625 hasConcept C122783720 @default.
- W4231733625 hasConcept C156772000 @default.
- W4231733625 hasConcept C165801399 @default.
- W4231733625 hasConcept C199360897 @default.
- W4231733625 hasConcept C2780624054 @default.
- W4231733625 hasConcept C32833848 @default.
- W4231733625 hasConcept C33923547 @default.
- W4231733625 hasConcept C33959348 @default.
- W4231733625 hasConcept C41008148 @default.
- W4231733625 hasConcept C42383842 @default.
- W4231733625 hasConcept C45374587 @default.
- W4231733625 hasConcept C62520636 @default.
- W4231733625 hasConcept C66322947 @default.
- W4231733625 hasConceptScore W4231733625C118615104 @default.
- W4231733625 hasConceptScore W4231733625C121332964 @default.
- W4231733625 hasConceptScore W4231733625C122783720 @default.
- W4231733625 hasConceptScore W4231733625C156772000 @default.
- W4231733625 hasConceptScore W4231733625C165801399 @default.
- W4231733625 hasConceptScore W4231733625C199360897 @default.
- W4231733625 hasConceptScore W4231733625C2780624054 @default.
- W4231733625 hasConceptScore W4231733625C32833848 @default.
- W4231733625 hasConceptScore W4231733625C33923547 @default.
- W4231733625 hasConceptScore W4231733625C33959348 @default.
- W4231733625 hasConceptScore W4231733625C41008148 @default.
- W4231733625 hasConceptScore W4231733625C42383842 @default.
- W4231733625 hasConceptScore W4231733625C45374587 @default.
- W4231733625 hasConceptScore W4231733625C62520636 @default.
- W4231733625 hasConceptScore W4231733625C66322947 @default.
- W4231733625 hasIssue "12" @default.
- W4231733625 hasLocation W42317336251 @default.
- W4231733625 hasOpenAccess W4231733625 @default.
- W4231733625 hasPrimaryLocation W42317336251 @default.
- W4231733625 hasRelatedWork W154014553 @default.
- W4231733625 hasRelatedWork W1546439617 @default.
- W4231733625 hasRelatedWork W1601811574 @default.
- W4231733625 hasRelatedWork W1897405783 @default.
- W4231733625 hasRelatedWork W2099741881 @default.
- W4231733625 hasRelatedWork W2406651324 @default.
- W4231733625 hasRelatedWork W2547899303 @default.
- W4231733625 hasRelatedWork W4245681215 @default.
- W4231733625 hasRelatedWork W4255783807 @default.
- W4231733625 hasRelatedWork W4385473798 @default.
- W4231733625 hasVolume "48" @default.
- W4231733625 isParatext "false" @default.
- W4231733625 isRetracted "false" @default.
- W4231733625 workType "article" @default.