Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970782371> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1970782371 abstract "In a paper about pretty printing J. Hughes introduced two fundamental techniques for deriving programs from their specification, where a specification consists of a signature and properties that the operations of the signature are required to satisfy. Briefly, the first technique, the term implementation, represents the operations by terms and works by defining a mapping from operations to observations --- this mapping can be seen as defining a simple interpreter. The second, the context-passing implementation, represents operations as functions from their calling context to observations. We apply both techniques to derive a backtracking monad transformer that adds backtracking to an arbitrary monad. In addition to the usual backtracking operations --- failure and nondeterministic choice --- the prolog cut and an operation for delimiting the effect of a cut are supported." @default.
- W1970782371 created "2016-06-24" @default.
- W1970782371 creator A5063247380 @default.
- W1970782371 date "2000-09-01" @default.
- W1970782371 modified "2023-10-17" @default.
- W1970782371 title "Deriving backtracking monad transformers" @default.
- W1970782371 cites W1508259349 @default.
- W1970782371 cites W1979684422 @default.
- W1970782371 cites W1997143185 @default.
- W1970782371 cites W2037984920 @default.
- W1970782371 cites W2136202785 @default.
- W1970782371 cites W2141576692 @default.
- W1970782371 cites W2295914203 @default.
- W1970782371 doi "https://doi.org/10.1145/351240.351258" @default.
- W1970782371 hasPublicationYear "2000" @default.
- W1970782371 type Work @default.
- W1970782371 sameAs 1970782371 @default.
- W1970782371 citedByCount "69" @default.
- W1970782371 countsByYear W19707823712012 @default.
- W1970782371 countsByYear W19707823712013 @default.
- W1970782371 countsByYear W19707823712014 @default.
- W1970782371 countsByYear W19707823712015 @default.
- W1970782371 countsByYear W19707823712016 @default.
- W1970782371 countsByYear W19707823712017 @default.
- W1970782371 countsByYear W19707823712018 @default.
- W1970782371 countsByYear W19707823712021 @default.
- W1970782371 crossrefType "proceedings-article" @default.
- W1970782371 hasAuthorship W1970782371A5063247380 @default.
- W1970782371 hasConcept C118615104 @default.
- W1970782371 hasConcept C122783720 @default.
- W1970782371 hasConcept C156325763 @default.
- W1970782371 hasConcept C156772000 @default.
- W1970782371 hasConcept C156884757 @default.
- W1970782371 hasConcept C164155591 @default.
- W1970782371 hasConcept C176181172 @default.
- W1970782371 hasConcept C184337299 @default.
- W1970782371 hasConcept C199360897 @default.
- W1970782371 hasConcept C33923547 @default.
- W1970782371 hasConcept C33959348 @default.
- W1970782371 hasConcept C41008148 @default.
- W1970782371 hasConcept C80444323 @default.
- W1970782371 hasConcept C81721847 @default.
- W1970782371 hasConceptScore W1970782371C118615104 @default.
- W1970782371 hasConceptScore W1970782371C122783720 @default.
- W1970782371 hasConceptScore W1970782371C156325763 @default.
- W1970782371 hasConceptScore W1970782371C156772000 @default.
- W1970782371 hasConceptScore W1970782371C156884757 @default.
- W1970782371 hasConceptScore W1970782371C164155591 @default.
- W1970782371 hasConceptScore W1970782371C176181172 @default.
- W1970782371 hasConceptScore W1970782371C184337299 @default.
- W1970782371 hasConceptScore W1970782371C199360897 @default.
- W1970782371 hasConceptScore W1970782371C33923547 @default.
- W1970782371 hasConceptScore W1970782371C33959348 @default.
- W1970782371 hasConceptScore W1970782371C41008148 @default.
- W1970782371 hasConceptScore W1970782371C80444323 @default.
- W1970782371 hasConceptScore W1970782371C81721847 @default.
- W1970782371 hasLocation W19707823711 @default.
- W1970782371 hasOpenAccess W1970782371 @default.
- W1970782371 hasPrimaryLocation W19707823711 @default.
- W1970782371 hasRelatedWork W1482532369 @default.
- W1970782371 hasRelatedWork W1558467648 @default.
- W1970782371 hasRelatedWork W1933696546 @default.
- W1970782371 hasRelatedWork W1970782371 @default.
- W1970782371 hasRelatedWork W2118792740 @default.
- W1970782371 hasRelatedWork W2274183736 @default.
- W1970782371 hasRelatedWork W2607099078 @default.
- W1970782371 hasRelatedWork W2623701236 @default.
- W1970782371 hasRelatedWork W2999328989 @default.
- W1970782371 hasRelatedWork W4213371256 @default.
- W1970782371 isParatext "false" @default.
- W1970782371 isRetracted "false" @default.
- W1970782371 magId "1970782371" @default.
- W1970782371 workType "article" @default.