Matches in SemOpenAlex for { <https://semopenalex.org/work/W2766482825> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2766482825 abstract "The seminal work on the Dependency Core Calculus (DCC) shows how monads not only can be used for embedding effects in purely functional languages but also to statically track data dependencies. Such types of analysis have applications in research areas like security, partial evaluation, and slicing, where DCC plays the role of a unifying formalism. For a Haskell programmer, putting DCC into practice raises many interesting conceptual and implementation concerns. Specifically, DCC uses a non-standard bind operator, i.e., with a different type signature than that provided by monads. In fact, embedding such non-standard bind operator opens the door for many design decisions. Furthermore, it is unclear if DCC extends to traditional methods used by Haskell programmers to handle effects (such as monad transformers). In this work, we describe a novel encoding of DCC in Haskell, with a focus on its use for security-although our results also apply to the other domains. We address the concerns mentioned above and show how our implementation of DCC can be seen as a direct translation from its typing rules via the use of closed type families and type classes-two advanced type-system features of Haskell. We also analyze what kind of effects DCC is compatible with and which ones it cannot secure. We also derive an alternative formulation of DCC based on fmap and a corresponding non-standard join." @default.
- W2766482825 created "2017-11-10" @default.
- W2766482825 creator A5028178671 @default.
- W2766482825 creator A5060824078 @default.
- W2766482825 date "2017-10-30" @default.
- W2766482825 modified "2023-09-24" @default.
- W2766482825 title "Encoding DCC in Haskell" @default.
- W2766482825 cites W1980881991 @default.
- W2766482825 cites W2027423863 @default.
- W2766482825 cites W2067012475 @default.
- W2766482825 cites W2112474400 @default.
- W2766482825 cites W2136202785 @default.
- W2766482825 cites W2150174204 @default.
- W2766482825 cites W3105003009 @default.
- W2766482825 cites W4235129884 @default.
- W2766482825 cites W4256299095 @default.
- W2766482825 doi "https://doi.org/10.1145/3139337.3139338" @default.
- W2766482825 hasPublicationYear "2017" @default.
- W2766482825 type Work @default.
- W2766482825 sameAs 2766482825 @default.
- W2766482825 citedByCount "16" @default.
- W2766482825 countsByYear W27664828252018 @default.
- W2766482825 countsByYear W27664828252019 @default.
- W2766482825 countsByYear W27664828252020 @default.
- W2766482825 countsByYear W27664828252021 @default.
- W2766482825 countsByYear W27664828252022 @default.
- W2766482825 crossrefType "proceedings-article" @default.
- W2766482825 hasAuthorship W2766482825A5028178671 @default.
- W2766482825 hasAuthorship W2766482825A5060824078 @default.
- W2766482825 hasConcept C118615104 @default.
- W2766482825 hasConcept C136764020 @default.
- W2766482825 hasConcept C154945302 @default.
- W2766482825 hasConcept C156772000 @default.
- W2766482825 hasConcept C18903297 @default.
- W2766482825 hasConcept C198370458 @default.
- W2766482825 hasConcept C199360897 @default.
- W2766482825 hasConcept C2776190703 @default.
- W2766482825 hasConcept C2776214188 @default.
- W2766482825 hasConcept C2777299769 @default.
- W2766482825 hasConcept C2778514511 @default.
- W2766482825 hasConcept C2780624054 @default.
- W2766482825 hasConcept C33923547 @default.
- W2766482825 hasConcept C33959348 @default.
- W2766482825 hasConcept C41008148 @default.
- W2766482825 hasConcept C41608201 @default.
- W2766482825 hasConcept C42383842 @default.
- W2766482825 hasConcept C80444323 @default.
- W2766482825 hasConcept C86803240 @default.
- W2766482825 hasConcept C93682546 @default.
- W2766482825 hasConceptScore W2766482825C118615104 @default.
- W2766482825 hasConceptScore W2766482825C136764020 @default.
- W2766482825 hasConceptScore W2766482825C154945302 @default.
- W2766482825 hasConceptScore W2766482825C156772000 @default.
- W2766482825 hasConceptScore W2766482825C18903297 @default.
- W2766482825 hasConceptScore W2766482825C198370458 @default.
- W2766482825 hasConceptScore W2766482825C199360897 @default.
- W2766482825 hasConceptScore W2766482825C2776190703 @default.
- W2766482825 hasConceptScore W2766482825C2776214188 @default.
- W2766482825 hasConceptScore W2766482825C2777299769 @default.
- W2766482825 hasConceptScore W2766482825C2778514511 @default.
- W2766482825 hasConceptScore W2766482825C2780624054 @default.
- W2766482825 hasConceptScore W2766482825C33923547 @default.
- W2766482825 hasConceptScore W2766482825C33959348 @default.
- W2766482825 hasConceptScore W2766482825C41008148 @default.
- W2766482825 hasConceptScore W2766482825C41608201 @default.
- W2766482825 hasConceptScore W2766482825C42383842 @default.
- W2766482825 hasConceptScore W2766482825C80444323 @default.
- W2766482825 hasConceptScore W2766482825C86803240 @default.
- W2766482825 hasConceptScore W2766482825C93682546 @default.
- W2766482825 hasFunder F4320322581 @default.
- W2766482825 hasFunder F4320335254 @default.
- W2766482825 hasLocation W27664828251 @default.
- W2766482825 hasOpenAccess W2766482825 @default.
- W2766482825 hasPrimaryLocation W27664828251 @default.
- W2766482825 hasRelatedWork W1587187316 @default.
- W2766482825 hasRelatedWork W2157592151 @default.
- W2766482825 hasRelatedWork W2289768538 @default.
- W2766482825 hasRelatedWork W2519387135 @default.
- W2766482825 hasRelatedWork W2547899303 @default.
- W2766482825 hasRelatedWork W3022861097 @default.
- W2766482825 hasRelatedWork W4239099388 @default.
- W2766482825 hasRelatedWork W4248483423 @default.
- W2766482825 hasRelatedWork W4255783807 @default.
- W2766482825 hasRelatedWork W49489561 @default.
- W2766482825 isParatext "false" @default.
- W2766482825 isRetracted "false" @default.
- W2766482825 magId "2766482825" @default.
- W2766482825 workType "article" @default.