Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980408208> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1980408208 endingPage "180" @default.
- W1980408208 startingPage "155" @default.
- W1980408208 abstract "Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell's IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-point computation takes place only over the values, without repeating or losing effects. In this paper, we describe a semantics for a lazy language based on Haskell, supporting monadic I/O, mutable variables, usual recursive definitions, and value recursion. Our semantics is composed of two layers: a natural semantics for the functional layer, and a labeled transition semantics for the IO layer." @default.
- W1980408208 created "2016-06-24" @default.
- W1980408208 creator A5003355403 @default.
- W1980408208 creator A5032823802 @default.
- W1980408208 creator A5087115618 @default.
- W1980408208 date "2002-04-01" @default.
- W1980408208 modified "2023-09-25" @default.
- W1980408208 title "Semantics of value recursion for Monadic Input/Output" @default.
- W1980408208 cites W1507316189 @default.
- W1980408208 cites W1608252846 @default.
- W1980408208 cites W195403090 @default.
- W1980408208 cites W1973030866 @default.
- W1980408208 cites W1997143185 @default.
- W1980408208 cites W2000722817 @default.
- W1980408208 cites W2004843654 @default.
- W1980408208 cites W2013260261 @default.
- W1980408208 cites W2049600101 @default.
- W1980408208 cites W2064138295 @default.
- W1980408208 cites W2074674709 @default.
- W1980408208 cites W2078944436 @default.
- W1980408208 cites W2088899124 @default.
- W1980408208 cites W2095747698 @default.
- W1980408208 cites W2101416179 @default.
- W1980408208 cites W2102357532 @default.
- W1980408208 cites W2103859677 @default.
- W1980408208 cites W2116435685 @default.
- W1980408208 cites W2124715685 @default.
- W1980408208 cites W2149412346 @default.
- W1980408208 cites W2151716725 @default.
- W1980408208 cites W4255449488 @default.
- W1980408208 doi "https://doi.org/10.1051/ita:2002008" @default.
- W1980408208 hasPublicationYear "2002" @default.
- W1980408208 type Work @default.
- W1980408208 sameAs 1980408208 @default.
- W1980408208 citedByCount "5" @default.
- W1980408208 crossrefType "journal-article" @default.
- W1980408208 hasAuthorship W1980408208A5003355403 @default.
- W1980408208 hasAuthorship W1980408208A5032823802 @default.
- W1980408208 hasAuthorship W1980408208A5087115618 @default.
- W1980408208 hasBestOaLocation W19804082082 @default.
- W1980408208 hasConcept C118615104 @default.
- W1980408208 hasConcept C119857082 @default.
- W1980408208 hasConcept C128099668 @default.
- W1980408208 hasConcept C156325763 @default.
- W1980408208 hasConcept C156772000 @default.
- W1980408208 hasConcept C168773036 @default.
- W1980408208 hasConcept C184337299 @default.
- W1980408208 hasConcept C199360897 @default.
- W1980408208 hasConcept C207648694 @default.
- W1980408208 hasConcept C2776291640 @default.
- W1980408208 hasConcept C2780624054 @default.
- W1980408208 hasConcept C33923547 @default.
- W1980408208 hasConcept C33959348 @default.
- W1980408208 hasConcept C41008148 @default.
- W1980408208 hasConcept C42383842 @default.
- W1980408208 hasConcept C45374587 @default.
- W1980408208 hasConcept C80444323 @default.
- W1980408208 hasConceptScore W1980408208C118615104 @default.
- W1980408208 hasConceptScore W1980408208C119857082 @default.
- W1980408208 hasConceptScore W1980408208C128099668 @default.
- W1980408208 hasConceptScore W1980408208C156325763 @default.
- W1980408208 hasConceptScore W1980408208C156772000 @default.
- W1980408208 hasConceptScore W1980408208C168773036 @default.
- W1980408208 hasConceptScore W1980408208C184337299 @default.
- W1980408208 hasConceptScore W1980408208C199360897 @default.
- W1980408208 hasConceptScore W1980408208C207648694 @default.
- W1980408208 hasConceptScore W1980408208C2776291640 @default.
- W1980408208 hasConceptScore W1980408208C2780624054 @default.
- W1980408208 hasConceptScore W1980408208C33923547 @default.
- W1980408208 hasConceptScore W1980408208C33959348 @default.
- W1980408208 hasConceptScore W1980408208C41008148 @default.
- W1980408208 hasConceptScore W1980408208C42383842 @default.
- W1980408208 hasConceptScore W1980408208C45374587 @default.
- W1980408208 hasConceptScore W1980408208C80444323 @default.
- W1980408208 hasIssue "2" @default.
- W1980408208 hasLocation W19804082081 @default.
- W1980408208 hasLocation W19804082082 @default.
- W1980408208 hasOpenAccess W1980408208 @default.
- W1980408208 hasPrimaryLocation W19804082081 @default.
- W1980408208 hasRelatedWork W1547639981 @default.
- W1980408208 hasRelatedWork W1840288141 @default.
- W1980408208 hasRelatedWork W1980408208 @default.
- W1980408208 hasRelatedWork W2139625520 @default.
- W1980408208 hasRelatedWork W2150739161 @default.
- W1980408208 hasRelatedWork W2175256523 @default.
- W1980408208 hasRelatedWork W3004745453 @default.
- W1980408208 hasRelatedWork W4234438627 @default.
- W1980408208 hasRelatedWork W4287870994 @default.
- W1980408208 hasRelatedWork W2500839137 @default.
- W1980408208 hasVolume "36" @default.
- W1980408208 isParatext "false" @default.
- W1980408208 isRetracted "false" @default.
- W1980408208 magId "1980408208" @default.
- W1980408208 workType "article" @default.