Matches in SemOpenAlex for { <https://semopenalex.org/work/W2508052023> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2508052023 abstract "Parameterized monad goes beyond monads in letting us represent type-state. An effect executed by a computation may change the set of effects it may be allowed to do afterwards. We describe how to easily `add' and `subtract' such type-state effects. Parameterized monad is often used to implement session types. We point out that extensible type-state effects are themselves a form of session types." @default.
- W2508052023 created "2016-09-16" @default.
- W2508052023 creator A5071276091 @default.
- W2508052023 date "2016-09-18" @default.
- W2508052023 modified "2023-09-25" @default.
- W2508052023 title "Parameterized extensible effects and session types (extended abstract)" @default.
- W2508052023 cites W2044590882 @default.
- W2508052023 cites W2073001576 @default.
- W2508052023 cites W2084115964 @default.
- W2508052023 cites W2106017511 @default.
- W2508052023 doi "https://doi.org/10.1145/2976022.2976034" @default.
- W2508052023 hasPublicationYear "2016" @default.
- W2508052023 type Work @default.
- W2508052023 sameAs 2508052023 @default.
- W2508052023 citedByCount "1" @default.
- W2508052023 countsByYear W25080520232017 @default.
- W2508052023 crossrefType "proceedings-article" @default.
- W2508052023 hasAuthorship W2508052023A5071276091 @default.
- W2508052023 hasConcept C11413529 @default.
- W2508052023 hasConcept C136764020 @default.
- W2508052023 hasConcept C165464430 @default.
- W2508052023 hasConcept C199360897 @default.
- W2508052023 hasConcept C2779182362 @default.
- W2508052023 hasConcept C32833848 @default.
- W2508052023 hasConcept C41008148 @default.
- W2508052023 hasConceptScore W2508052023C11413529 @default.
- W2508052023 hasConceptScore W2508052023C136764020 @default.
- W2508052023 hasConceptScore W2508052023C165464430 @default.
- W2508052023 hasConceptScore W2508052023C199360897 @default.
- W2508052023 hasConceptScore W2508052023C2779182362 @default.
- W2508052023 hasConceptScore W2508052023C32833848 @default.
- W2508052023 hasConceptScore W2508052023C41008148 @default.
- W2508052023 hasLocation W25080520231 @default.
- W2508052023 hasOpenAccess W2508052023 @default.
- W2508052023 hasPrimaryLocation W25080520231 @default.
- W2508052023 hasRelatedWork W1998962249 @default.
- W2508052023 hasRelatedWork W2151073063 @default.
- W2508052023 hasRelatedWork W2165124476 @default.
- W2508052023 hasRelatedWork W2507206891 @default.
- W2508052023 hasRelatedWork W2952657391 @default.
- W2508052023 hasRelatedWork W3014605557 @default.
- W2508052023 hasRelatedWork W3151958197 @default.
- W2508052023 hasRelatedWork W2090691072 @default.
- W2508052023 hasRelatedWork W2467097043 @default.
- W2508052023 hasRelatedWork W2524708062 @default.
- W2508052023 isParatext "false" @default.
- W2508052023 isRetracted "false" @default.
- W2508052023 magId "2508052023" @default.
- W2508052023 workType "article" @default.