Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004409251> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2004409251 abstract "Layer-introduced base methods, which are the methods new signatures in a layer and are added to a class, give layers more freedom to organize definitions of context-dependent behavior. However, we need to be careful so as not to call a layer-introduced base method while the layers that provide the method are inactive. Type-based solutions would help to avoid such a problematic situation, but existing ones are limited to context-oriented programming (COP) languages that have dynamically-scoped (i.e., the with based) layer activation. We propose a COP framework in Haskell that supports both imperative and dynamically-scoped layer activation mechanisms, as well as layer-introduced base functions. By representing a context as a stack of active layers in a type of a function in Haskell, type safety---including the guarantee of activation of a layer that provides a layer-introduced function---is checked by Haskell's type system. This paper shows how our framework encodes COP features in Haskell using a simple example." @default.
- W2004409251 created "2016-06-24" @default.
- W2004409251 creator A5070909210 @default.
- W2004409251 creator A5079977725 @default.
- W2004409251 creator A5082030898 @default.
- W2004409251 date "2015-07-04" @default.
- W2004409251 modified "2023-09-24" @default.
- W2004409251 title "Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation" @default.
- W2004409251 cites W1978875190 @default.
- W2004409251 cites W1983125921 @default.
- W2004409251 cites W1985484436 @default.
- W2004409251 cites W1985637830 @default.
- W2004409251 cites W1992443356 @default.
- W2004409251 cites W2044590882 @default.
- W2004409251 cites W2084861262 @default.
- W2004409251 cites W2087175184 @default.
- W2004409251 cites W2112474400 @default.
- W2004409251 cites W2123691799 @default.
- W2004409251 cites W2129990308 @default.
- W2004409251 cites W2140825882 @default.
- W2004409251 cites W2145304606 @default.
- W2004409251 cites W2145919358 @default.
- W2004409251 cites W2148049665 @default.
- W2004409251 cites W2150275961 @default.
- W2004409251 cites W2170697151 @default.
- W2004409251 doi "https://doi.org/10.1145/2786545.2786553" @default.
- W2004409251 hasPublicationYear "2015" @default.
- W2004409251 type Work @default.
- W2004409251 sameAs 2004409251 @default.
- W2004409251 citedByCount "2" @default.
- W2004409251 countsByYear W20044092512017 @default.
- W2004409251 crossrefType "proceedings-article" @default.
- W2004409251 hasAuthorship W2004409251A5070909210 @default.
- W2004409251 hasAuthorship W2004409251A5079977725 @default.
- W2004409251 hasAuthorship W2004409251A5082030898 @default.
- W2004409251 hasConcept C108548466 @default.
- W2004409251 hasConcept C111472728 @default.
- W2004409251 hasConcept C134306372 @default.
- W2004409251 hasConcept C138885662 @default.
- W2004409251 hasConcept C151730666 @default.
- W2004409251 hasConcept C159985019 @default.
- W2004409251 hasConcept C192562407 @default.
- W2004409251 hasConcept C199360897 @default.
- W2004409251 hasConcept C2779227376 @default.
- W2004409251 hasConcept C2779343474 @default.
- W2004409251 hasConcept C2780586882 @default.
- W2004409251 hasConcept C2780624054 @default.
- W2004409251 hasConcept C33923547 @default.
- W2004409251 hasConcept C35578498 @default.
- W2004409251 hasConcept C41008148 @default.
- W2004409251 hasConcept C42058472 @default.
- W2004409251 hasConcept C42383842 @default.
- W2004409251 hasConcept C86803240 @default.
- W2004409251 hasConceptScore W2004409251C108548466 @default.
- W2004409251 hasConceptScore W2004409251C111472728 @default.
- W2004409251 hasConceptScore W2004409251C134306372 @default.
- W2004409251 hasConceptScore W2004409251C138885662 @default.
- W2004409251 hasConceptScore W2004409251C151730666 @default.
- W2004409251 hasConceptScore W2004409251C159985019 @default.
- W2004409251 hasConceptScore W2004409251C192562407 @default.
- W2004409251 hasConceptScore W2004409251C199360897 @default.
- W2004409251 hasConceptScore W2004409251C2779227376 @default.
- W2004409251 hasConceptScore W2004409251C2779343474 @default.
- W2004409251 hasConceptScore W2004409251C2780586882 @default.
- W2004409251 hasConceptScore W2004409251C2780624054 @default.
- W2004409251 hasConceptScore W2004409251C33923547 @default.
- W2004409251 hasConceptScore W2004409251C35578498 @default.
- W2004409251 hasConceptScore W2004409251C41008148 @default.
- W2004409251 hasConceptScore W2004409251C42058472 @default.
- W2004409251 hasConceptScore W2004409251C42383842 @default.
- W2004409251 hasConceptScore W2004409251C86803240 @default.
- W2004409251 hasLocation W20044092511 @default.
- W2004409251 hasOpenAccess W2004409251 @default.
- W2004409251 hasPrimaryLocation W20044092511 @default.
- W2004409251 hasRelatedWork W1588297277 @default.
- W2004409251 hasRelatedWork W1714514560 @default.
- W2004409251 hasRelatedWork W1799755858 @default.
- W2004409251 hasRelatedWork W1874841796 @default.
- W2004409251 hasRelatedWork W1980476455 @default.
- W2004409251 hasRelatedWork W1986270432 @default.
- W2004409251 hasRelatedWork W1990247231 @default.
- W2004409251 hasRelatedWork W2016933775 @default.
- W2004409251 hasRelatedWork W2044146440 @default.
- W2004409251 hasRelatedWork W2094248892 @default.
- W2004409251 hasRelatedWork W2109261879 @default.
- W2004409251 hasRelatedWork W2119587710 @default.
- W2004409251 hasRelatedWork W2119846530 @default.
- W2004409251 hasRelatedWork W2144700864 @default.
- W2004409251 hasRelatedWork W2166715995 @default.
- W2004409251 hasRelatedWork W2405879922 @default.
- W2004409251 hasRelatedWork W2551794739 @default.
- W2004409251 hasRelatedWork W2764183978 @default.
- W2004409251 hasRelatedWork W3193360938 @default.
- W2004409251 hasRelatedWork W563801046 @default.
- W2004409251 isParatext "false" @default.
- W2004409251 isRetracted "false" @default.
- W2004409251 magId "2004409251" @default.
- W2004409251 workType "article" @default.