Matches in SemOpenAlex for { <https://semopenalex.org/work/W3014236027> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3014236027 abstract "Abstract Effect handlers are a promising way to structure effectful programs in a modular way. We present the Scala library Effekt , which is centered around capability passing and implemented in terms of a monad for multi-prompt delimited continuations. Effekt is the first library implementation of effect handlers that supports effect safety and effect polymorphism without resorting to type-level programming. We describe a novel way of achieving effect safety using intersection types and path-dependent types. The effect system of our library design fits well into the programming paradigm of capability passing and is inspired by the effect system of Zhang & Myers (2019, Proc. ACM Program. Lang. 3 (POPL), 5:1-5:29). Capabilities carry an abstract type member, which represents an individual effect type and reflects the use of the capability on the type level. We represent effect rows as the contravariant intersection of effect types. Handlers introduce capabilities and remove components of the intersection type. Reusing the existing type system of Scala, we get effect subtyping and effect polymorphism for free." @default.
- W3014236027 created "2020-04-10" @default.
- W3014236027 creator A5027088540 @default.
- W3014236027 creator A5029318181 @default.
- W3014236027 creator A5049077225 @default.
- W3014236027 date "2020-01-01" @default.
- W3014236027 modified "2023-10-18" @default.
- W3014236027 title "Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala" @default.
- W3014236027 cites W1606211906 @default.
- W3014236027 cites W1839902311 @default.
- W3014236027 cites W1980939032 @default.
- W3014236027 cites W1999336811 @default.
- W3014236027 cites W1999643018 @default.
- W3014236027 cites W2060662244 @default.
- W3014236027 cites W2086744387 @default.
- W3014236027 cites W2109375905 @default.
- W3014236027 cites W2129902163 @default.
- W3014236027 cites W2544085948 @default.
- W3014236027 cites W2681262331 @default.
- W3014236027 cites W2798644064 @default.
- W3014236027 cites W2898332157 @default.
- W3014236027 cites W2899650865 @default.
- W3014236027 cites W2907553500 @default.
- W3014236027 cites W2979385842 @default.
- W3014236027 cites W3015096137 @default.
- W3014236027 cites W3150939566 @default.
- W3014236027 cites W4232619596 @default.
- W3014236027 doi "https://doi.org/10.1017/s0956796820000027" @default.
- W3014236027 hasPublicationYear "2020" @default.
- W3014236027 type Work @default.
- W3014236027 sameAs 3014236027 @default.
- W3014236027 citedByCount "17" @default.
- W3014236027 countsByYear W30142360272020 @default.
- W3014236027 countsByYear W30142360272021 @default.
- W3014236027 countsByYear W30142360272022 @default.
- W3014236027 countsByYear W30142360272023 @default.
- W3014236027 crossrefType "journal-article" @default.
- W3014236027 hasAuthorship W3014236027A5027088540 @default.
- W3014236027 hasAuthorship W3014236027A5029318181 @default.
- W3014236027 hasAuthorship W3014236027A5049077225 @default.
- W3014236027 hasBestOaLocation W30142360271 @default.
- W3014236027 hasConcept C101468663 @default.
- W3014236027 hasConcept C109701466 @default.
- W3014236027 hasConcept C111919701 @default.
- W3014236027 hasConcept C118615104 @default.
- W3014236027 hasConcept C156772000 @default.
- W3014236027 hasConcept C199360897 @default.
- W3014236027 hasConcept C33923547 @default.
- W3014236027 hasConcept C33959348 @default.
- W3014236027 hasConcept C41008148 @default.
- W3014236027 hasConcept C44779574 @default.
- W3014236027 hasConcept C548217200 @default.
- W3014236027 hasConceptScore W3014236027C101468663 @default.
- W3014236027 hasConceptScore W3014236027C109701466 @default.
- W3014236027 hasConceptScore W3014236027C111919701 @default.
- W3014236027 hasConceptScore W3014236027C118615104 @default.
- W3014236027 hasConceptScore W3014236027C156772000 @default.
- W3014236027 hasConceptScore W3014236027C199360897 @default.
- W3014236027 hasConceptScore W3014236027C33923547 @default.
- W3014236027 hasConceptScore W3014236027C33959348 @default.
- W3014236027 hasConceptScore W3014236027C41008148 @default.
- W3014236027 hasConceptScore W3014236027C44779574 @default.
- W3014236027 hasConceptScore W3014236027C548217200 @default.
- W3014236027 hasLocation W30142360271 @default.
- W3014236027 hasOpenAccess W3014236027 @default.
- W3014236027 hasPrimaryLocation W30142360271 @default.
- W3014236027 hasRelatedWork W206809417 @default.
- W3014236027 hasRelatedWork W2068530643 @default.
- W3014236027 hasRelatedWork W2146069884 @default.
- W3014236027 hasRelatedWork W2295799738 @default.
- W3014236027 hasRelatedWork W2763815264 @default.
- W3014236027 hasRelatedWork W2948308868 @default.
- W3014236027 hasRelatedWork W3037296081 @default.
- W3014236027 hasRelatedWork W4210528511 @default.
- W3014236027 hasRelatedWork W4239384405 @default.
- W3014236027 hasRelatedWork W4243252198 @default.
- W3014236027 hasVolume "30" @default.
- W3014236027 isParatext "false" @default.
- W3014236027 isRetracted "false" @default.
- W3014236027 magId "3014236027" @default.
- W3014236027 workType "article" @default.