Matches in SemOpenAlex for { <https://semopenalex.org/work/W1979039632> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1979039632 abstract "We design and implement a library for adding backtracking computations to any Haskell monad. Inspired by logic programming, our library provides, in addition to the operations required by the MonadPlus interface, constructs for fair disjunctions, fair conjunctions, conditionals, pruning, and an expressive top-level interface. Implementing these additional constructs is easy in models of backtracking based on streams, but not known to be possible in continuation-based models. We show that all these additional constructs can be generically and monadically realized using a single primitive msplit. We present two implementations of the library: one using success and failure continuations; and the other using control operators for manipulating delimited continuations." @default.
- W1979039632 created "2016-06-24" @default.
- W1979039632 creator A5021546193 @default.
- W1979039632 creator A5070161899 @default.
- W1979039632 creator A5071276091 @default.
- W1979039632 creator A5084476883 @default.
- W1979039632 date "2005-09-12" @default.
- W1979039632 modified "2023-10-16" @default.
- W1979039632 title "Backtracking, interleaving, and terminating monad transformers" @default.
- W1979039632 cites W1768718906 @default.
- W1979039632 cites W1970782371 @default.
- W1979039632 cites W1995532290 @default.
- W1979039632 cites W2293168108 @default.
- W1979039632 cites W4256143062 @default.
- W1979039632 doi "https://doi.org/10.1145/1086365.1086390" @default.
- W1979039632 hasPublicationYear "2005" @default.
- W1979039632 type Work @default.
- W1979039632 sameAs 1979039632 @default.
- W1979039632 citedByCount "67" @default.
- W1979039632 countsByYear W19790396322012 @default.
- W1979039632 countsByYear W19790396322013 @default.
- W1979039632 countsByYear W19790396322014 @default.
- W1979039632 countsByYear W19790396322015 @default.
- W1979039632 countsByYear W19790396322016 @default.
- W1979039632 countsByYear W19790396322017 @default.
- W1979039632 countsByYear W19790396322018 @default.
- W1979039632 countsByYear W19790396322020 @default.
- W1979039632 countsByYear W19790396322021 @default.
- W1979039632 countsByYear W19790396322022 @default.
- W1979039632 countsByYear W19790396322023 @default.
- W1979039632 crossrefType "proceedings-article" @default.
- W1979039632 hasAuthorship W1979039632A5021546193 @default.
- W1979039632 hasAuthorship W1979039632A5070161899 @default.
- W1979039632 hasAuthorship W1979039632A5071276091 @default.
- W1979039632 hasAuthorship W1979039632A5084476883 @default.
- W1979039632 hasConcept C111919701 @default.
- W1979039632 hasConcept C113843644 @default.
- W1979039632 hasConcept C118615104 @default.
- W1979039632 hasConcept C129307140 @default.
- W1979039632 hasConcept C134757568 @default.
- W1979039632 hasConcept C156772000 @default.
- W1979039632 hasConcept C156884757 @default.
- W1979039632 hasConcept C157915830 @default.
- W1979039632 hasConcept C173608175 @default.
- W1979039632 hasConcept C199360897 @default.
- W1979039632 hasConcept C26713055 @default.
- W1979039632 hasConcept C2780624054 @default.
- W1979039632 hasConcept C28034677 @default.
- W1979039632 hasConcept C33923547 @default.
- W1979039632 hasConcept C33959348 @default.
- W1979039632 hasConcept C41008148 @default.
- W1979039632 hasConcept C42383842 @default.
- W1979039632 hasConcept C80444323 @default.
- W1979039632 hasConcept C88626702 @default.
- W1979039632 hasConceptScore W1979039632C111919701 @default.
- W1979039632 hasConceptScore W1979039632C113843644 @default.
- W1979039632 hasConceptScore W1979039632C118615104 @default.
- W1979039632 hasConceptScore W1979039632C129307140 @default.
- W1979039632 hasConceptScore W1979039632C134757568 @default.
- W1979039632 hasConceptScore W1979039632C156772000 @default.
- W1979039632 hasConceptScore W1979039632C156884757 @default.
- W1979039632 hasConceptScore W1979039632C157915830 @default.
- W1979039632 hasConceptScore W1979039632C173608175 @default.
- W1979039632 hasConceptScore W1979039632C199360897 @default.
- W1979039632 hasConceptScore W1979039632C26713055 @default.
- W1979039632 hasConceptScore W1979039632C2780624054 @default.
- W1979039632 hasConceptScore W1979039632C28034677 @default.
- W1979039632 hasConceptScore W1979039632C33923547 @default.
- W1979039632 hasConceptScore W1979039632C33959348 @default.
- W1979039632 hasConceptScore W1979039632C41008148 @default.
- W1979039632 hasConceptScore W1979039632C42383842 @default.
- W1979039632 hasConceptScore W1979039632C80444323 @default.
- W1979039632 hasConceptScore W1979039632C88626702 @default.
- W1979039632 hasLocation W19790396321 @default.
- W1979039632 hasOpenAccess W1979039632 @default.
- W1979039632 hasPrimaryLocation W19790396321 @default.
- W1979039632 hasRelatedWork W1522519483 @default.
- W1979039632 hasRelatedWork W154014553 @default.
- W1979039632 hasRelatedWork W1601811574 @default.
- W1979039632 hasRelatedWork W1682676944 @default.
- W1979039632 hasRelatedWork W1969517704 @default.
- W1979039632 hasRelatedWork W1979039632 @default.
- W1979039632 hasRelatedWork W2155187121 @default.
- W1979039632 hasRelatedWork W2406651324 @default.
- W1979039632 hasRelatedWork W2481099281 @default.
- W1979039632 hasRelatedWork W2999365512 @default.
- W1979039632 isParatext "false" @default.
- W1979039632 isRetracted "false" @default.
- W1979039632 magId "1979039632" @default.
- W1979039632 workType "article" @default.