Matches in SemOpenAlex for { <https://semopenalex.org/work/W3030938094> ?p ?o ?g. }
- W3030938094 endingPage "240" @default.
- W3030938094 startingPage "229" @default.
- W3030938094 abstract "The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic programming style provides a convenient syntax for many kinds of computation, so that each library defines a new sublanguage. Recently, several workers have proposed a generalization of monads, called variously arrows or Freyd-categories. The extra generality promises to increase the power, expressiveness and efficiency of the embedded approach, but does not mesh as well with the native abstraction and application. Definitions are typically given in a point-free style, which is useful for proving general properties, but can be awkward for programming specific instances. In this paper we define a simple extension to the functional language Haskell that makes these new notions of computation more convenient to use. Our language is similar to the monadic style, and has similar reasoning properties. Moreover, it is extensible, in the sense that new combining forms can be defined as expressions in the host language." @default.
- W3030938094 created "2020-06-05" @default.
- W3030938094 creator A5062592011 @default.
- W3030938094 date "2001-10-01" @default.
- W3030938094 modified "2023-10-18" @default.
- W3030938094 title "A new notation for arrows" @default.
- W3030938094 cites W1488750823 @default.
- W3030938094 cites W1597434734 @default.
- W3030938094 cites W1966458383 @default.
- W3030938094 cites W1995969393 @default.
- W3030938094 cites W1997644097 @default.
- W3030938094 cites W2000722817 @default.
- W3030938094 cites W2013260261 @default.
- W3030938094 cites W2016135587 @default.
- W3030938094 cites W2037984920 @default.
- W3030938094 cites W2049600101 @default.
- W3030938094 cites W2055893308 @default.
- W3030938094 cites W2064138295 @default.
- W3030938094 cites W2081938726 @default.
- W3030938094 cites W2101416179 @default.
- W3030938094 cites W2102357532 @default.
- W3030938094 cites W2134112335 @default.
- W3030938094 cites W2141389982 @default.
- W3030938094 cites W2143462372 @default.
- W3030938094 cites W4249954777 @default.
- W3030938094 doi "https://doi.org/10.1145/507669.507664" @default.
- W3030938094 hasPublicationYear "2001" @default.
- W3030938094 type Work @default.
- W3030938094 sameAs 3030938094 @default.
- W3030938094 citedByCount "16" @default.
- W3030938094 countsByYear W30309380942012 @default.
- W3030938094 countsByYear W30309380942013 @default.
- W3030938094 countsByYear W30309380942017 @default.
- W3030938094 countsByYear W30309380942019 @default.
- W3030938094 countsByYear W30309380942020 @default.
- W3030938094 countsByYear W30309380942021 @default.
- W3030938094 countsByYear W30309380942022 @default.
- W3030938094 countsByYear W30309380942023 @default.
- W3030938094 crossrefType "journal-article" @default.
- W3030938094 hasAuthorship W3030938094A5062592011 @default.
- W3030938094 hasConcept C111472728 @default.
- W3030938094 hasConcept C118615104 @default.
- W3030938094 hasConcept C128099668 @default.
- W3030938094 hasConcept C134306372 @default.
- W3030938094 hasConcept C138885662 @default.
- W3030938094 hasConcept C156772000 @default.
- W3030938094 hasConcept C15744967 @default.
- W3030938094 hasConcept C177148314 @default.
- W3030938094 hasConcept C195818886 @default.
- W3030938094 hasConcept C199360897 @default.
- W3030938094 hasConcept C2776411971 @default.
- W3030938094 hasConcept C2778029271 @default.
- W3030938094 hasConcept C2780586882 @default.
- W3030938094 hasConcept C2780624054 @default.
- W3030938094 hasConcept C2780767217 @default.
- W3030938094 hasConcept C33923547 @default.
- W3030938094 hasConcept C33959348 @default.
- W3030938094 hasConcept C41008148 @default.
- W3030938094 hasConcept C42383842 @default.
- W3030938094 hasConcept C542102704 @default.
- W3030938094 hasConcept C63000827 @default.
- W3030938094 hasConcept C79678938 @default.
- W3030938094 hasConcept C80444323 @default.
- W3030938094 hasConceptScore W3030938094C111472728 @default.
- W3030938094 hasConceptScore W3030938094C118615104 @default.
- W3030938094 hasConceptScore W3030938094C128099668 @default.
- W3030938094 hasConceptScore W3030938094C134306372 @default.
- W3030938094 hasConceptScore W3030938094C138885662 @default.
- W3030938094 hasConceptScore W3030938094C156772000 @default.
- W3030938094 hasConceptScore W3030938094C15744967 @default.
- W3030938094 hasConceptScore W3030938094C177148314 @default.
- W3030938094 hasConceptScore W3030938094C195818886 @default.
- W3030938094 hasConceptScore W3030938094C199360897 @default.
- W3030938094 hasConceptScore W3030938094C2776411971 @default.
- W3030938094 hasConceptScore W3030938094C2778029271 @default.
- W3030938094 hasConceptScore W3030938094C2780586882 @default.
- W3030938094 hasConceptScore W3030938094C2780624054 @default.
- W3030938094 hasConceptScore W3030938094C2780767217 @default.
- W3030938094 hasConceptScore W3030938094C33923547 @default.
- W3030938094 hasConceptScore W3030938094C33959348 @default.
- W3030938094 hasConceptScore W3030938094C41008148 @default.
- W3030938094 hasConceptScore W3030938094C42383842 @default.
- W3030938094 hasConceptScore W3030938094C542102704 @default.
- W3030938094 hasConceptScore W3030938094C63000827 @default.
- W3030938094 hasConceptScore W3030938094C79678938 @default.
- W3030938094 hasConceptScore W3030938094C80444323 @default.
- W3030938094 hasIssue "10" @default.
- W3030938094 hasLocation W30309380941 @default.
- W3030938094 hasOpenAccess W3030938094 @default.
- W3030938094 hasPrimaryLocation W30309380941 @default.
- W3030938094 hasRelatedWork W1489609867 @default.
- W3030938094 hasRelatedWork W154014553 @default.
- W3030938094 hasRelatedWork W2116435685 @default.
- W3030938094 hasRelatedWork W2466718051 @default.
- W3030938094 hasRelatedWork W2514405772 @default.
- W3030938094 hasRelatedWork W3023013741 @default.
- W3030938094 hasRelatedWork W3030938094 @default.
- W3030938094 hasRelatedWork W4244577125 @default.