Matches in SemOpenAlex for { <https://semopenalex.org/work/W2181342601> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2181342601 endingPage "30" @default.
- W2181342601 startingPage "3" @default.
- W2181342601 abstract "Computational effects complicate the tasks of reasoning about and maintaining software, due to the many kinds of interferences that can occur. While different proposals have been formulated to alleviate the fragility and burden of dealing with specific effects, such as state or exceptions, there is no prevalent robust mechanism that addresses the general interference issue. Building upon the idea of capability-based security, we propose effect capabilities as an effective and flexible manner to control monadic effects and their interferences. Capabilities can be selectively shared between modules to establish secure effect-centric coordination. We further refine capabilities with type-based permission lattices to allow fine-grained decomposition of authority. We provide an implementation of effect capabilities in Haskell, using type classes to establish a way to statically share capabilities between modules, as well as to check proper access permissions to effects at compile time. We first exemplify how to tame effect interferences using effect capabilities by treating state and exceptions. Then we focus on taming I/O by proposing a fine-grained lattice of I/O permissions based on the current classification of its operations. Finally, we show that integrating effect capabilities with modern tag-based monadic mechanisms provides a practical, modular and safe mechanism for monadic programming in Haskell." @default.
- W2181342601 created "2016-06-24" @default.
- W2181342601 creator A5005465411 @default.
- W2181342601 creator A5021601080 @default.
- W2181342601 creator A5033499088 @default.
- W2181342601 date "2016-04-01" @default.
- W2181342601 modified "2023-10-09" @default.
- W2181342601 title "Effect capabilities for Haskell: Taming effect interference in monadic programming" @default.
- W2181342601 cites W1473151223 @default.
- W2181342601 cites W1520961854 @default.
- W2181342601 cites W1594279870 @default.
- W2181342601 cites W1760139041 @default.
- W2181342601 cites W1856815419 @default.
- W2181342601 cites W1975080904 @default.
- W2181342601 cites W1995675054 @default.
- W2181342601 cites W1997143185 @default.
- W2181342601 cites W2008838944 @default.
- W2181342601 cites W2009775190 @default.
- W2181342601 cites W2012450002 @default.
- W2181342601 cites W2021380116 @default.
- W2181342601 cites W2037984920 @default.
- W2181342601 cites W2042010295 @default.
- W2181342601 cites W2084115964 @default.
- W2181342601 cites W2084804301 @default.
- W2181342601 cites W2087404516 @default.
- W2181342601 cites W2089794420 @default.
- W2181342601 cites W2096160393 @default.
- W2181342601 cites W2099741881 @default.
- W2181342601 cites W2104422179 @default.
- W2181342601 cites W2107214848 @default.
- W2181342601 cites W2118002698 @default.
- W2181342601 cites W2141576692 @default.
- W2181342601 cites W2145287505 @default.
- W2181342601 cites W2157514610 @default.
- W2181342601 cites W2161003457 @default.
- W2181342601 cites W2163552400 @default.
- W2181342601 cites W2168938117 @default.
- W2181342601 cites W2296133386 @default.
- W2181342601 cites W3005233229 @default.
- W2181342601 cites W2095881341 @default.
- W2181342601 doi "https://doi.org/10.1016/j.scico.2015.11.010" @default.
- W2181342601 hasPublicationYear "2016" @default.
- W2181342601 type Work @default.
- W2181342601 sameAs 2181342601 @default.
- W2181342601 citedByCount "1" @default.
- W2181342601 countsByYear W21813426012021 @default.
- W2181342601 crossrefType "journal-article" @default.
- W2181342601 hasAuthorship W2181342601A5005465411 @default.
- W2181342601 hasAuthorship W2181342601A5021601080 @default.
- W2181342601 hasAuthorship W2181342601A5033499088 @default.
- W2181342601 hasBestOaLocation W21813426011 @default.
- W2181342601 hasConcept C101468663 @default.
- W2181342601 hasConcept C120314980 @default.
- W2181342601 hasConcept C169590947 @default.
- W2181342601 hasConcept C199360897 @default.
- W2181342601 hasConcept C200833197 @default.
- W2181342601 hasConcept C2779478453 @default.
- W2181342601 hasConcept C2780624054 @default.
- W2181342601 hasConcept C41008148 @default.
- W2181342601 hasConcept C42383842 @default.
- W2181342601 hasConcept C54355233 @default.
- W2181342601 hasConcept C86803240 @default.
- W2181342601 hasConceptScore W2181342601C101468663 @default.
- W2181342601 hasConceptScore W2181342601C120314980 @default.
- W2181342601 hasConceptScore W2181342601C169590947 @default.
- W2181342601 hasConceptScore W2181342601C199360897 @default.
- W2181342601 hasConceptScore W2181342601C200833197 @default.
- W2181342601 hasConceptScore W2181342601C2779478453 @default.
- W2181342601 hasConceptScore W2181342601C2780624054 @default.
- W2181342601 hasConceptScore W2181342601C41008148 @default.
- W2181342601 hasConceptScore W2181342601C42383842 @default.
- W2181342601 hasConceptScore W2181342601C54355233 @default.
- W2181342601 hasConceptScore W2181342601C86803240 @default.
- W2181342601 hasLocation W21813426011 @default.
- W2181342601 hasLocation W21813426012 @default.
- W2181342601 hasLocation W21813426013 @default.
- W2181342601 hasOpenAccess W2181342601 @default.
- W2181342601 hasPrimaryLocation W21813426011 @default.
- W2181342601 hasRelatedWork W1480380415 @default.
- W2181342601 hasRelatedWork W1489609867 @default.
- W2181342601 hasRelatedWork W1602185604 @default.
- W2181342601 hasRelatedWork W2028779182 @default.
- W2181342601 hasRelatedWork W2046806568 @default.
- W2181342601 hasRelatedWork W2090337950 @default.
- W2181342601 hasRelatedWork W2112263414 @default.
- W2181342601 hasRelatedWork W2140654465 @default.
- W2181342601 hasRelatedWork W2371266106 @default.
- W2181342601 hasRelatedWork W3004782279 @default.
- W2181342601 hasVolume "119" @default.
- W2181342601 isParatext "false" @default.
- W2181342601 isRetracted "false" @default.
- W2181342601 magId "2181342601" @default.
- W2181342601 workType "article" @default.