Matches in SemOpenAlex for { <https://semopenalex.org/work/W2637947924> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2637947924 abstract "Non-deterministic computations are conventionally modelled by lists of their outcomes. This approach provides a concise declarative description of certain problems, as well as a way of generically solving such problems.However, the traditional approach falls short when the non-deterministic problem is allowed to be recursive: the recursive problem may have infinitely many outcomes, giving rise to an infinite list.Yet there are usually only finitely many distinct relevant results. This paper shows that this set of interesting results corresponds to a least fixed point. We provide an implementation based on algebraic effect handlers to compute such least fixed points in a finite amount of time, thereby allowing non-determinism and recursion to meaningfully co-occur in a single program." @default.
- W2637947924 created "2017-06-30" @default.
- W2637947924 creator A5008329832 @default.
- W2637947924 creator A5034610312 @default.
- W2637947924 creator A5050247934 @default.
- W2637947924 date "2016-01-01" @default.
- W2637947924 modified "2023-09-23" @default.
- W2637947924 title "Fixing non-determinism" @default.
- W2637947924 hasPublicationYear "2016" @default.
- W2637947924 type Work @default.
- W2637947924 sameAs 2637947924 @default.
- W2637947924 citedByCount "1" @default.
- W2637947924 countsByYear W26379479242016 @default.
- W2637947924 crossrefType "journal-article" @default.
- W2637947924 hasAuthorship W2637947924A5008329832 @default.
- W2637947924 hasAuthorship W2637947924A5034610312 @default.
- W2637947924 hasAuthorship W2637947924A5050247934 @default.
- W2637947924 hasConcept C111472728 @default.
- W2637947924 hasConcept C11413529 @default.
- W2637947924 hasConcept C134306372 @default.
- W2637947924 hasConcept C136119220 @default.
- W2637947924 hasConcept C138885662 @default.
- W2637947924 hasConcept C168773036 @default.
- W2637947924 hasConcept C177264268 @default.
- W2637947924 hasConcept C192183473 @default.
- W2637947924 hasConcept C199360897 @default.
- W2637947924 hasConcept C202444582 @default.
- W2637947924 hasConcept C2524010 @default.
- W2637947924 hasConcept C28719098 @default.
- W2637947924 hasConcept C33923547 @default.
- W2637947924 hasConcept C41008148 @default.
- W2637947924 hasConcept C45374587 @default.
- W2637947924 hasConcept C61445026 @default.
- W2637947924 hasConcept C80444323 @default.
- W2637947924 hasConcept C9376300 @default.
- W2637947924 hasConceptScore W2637947924C111472728 @default.
- W2637947924 hasConceptScore W2637947924C11413529 @default.
- W2637947924 hasConceptScore W2637947924C134306372 @default.
- W2637947924 hasConceptScore W2637947924C136119220 @default.
- W2637947924 hasConceptScore W2637947924C138885662 @default.
- W2637947924 hasConceptScore W2637947924C168773036 @default.
- W2637947924 hasConceptScore W2637947924C177264268 @default.
- W2637947924 hasConceptScore W2637947924C192183473 @default.
- W2637947924 hasConceptScore W2637947924C199360897 @default.
- W2637947924 hasConceptScore W2637947924C202444582 @default.
- W2637947924 hasConceptScore W2637947924C2524010 @default.
- W2637947924 hasConceptScore W2637947924C28719098 @default.
- W2637947924 hasConceptScore W2637947924C33923547 @default.
- W2637947924 hasConceptScore W2637947924C41008148 @default.
- W2637947924 hasConceptScore W2637947924C45374587 @default.
- W2637947924 hasConceptScore W2637947924C61445026 @default.
- W2637947924 hasConceptScore W2637947924C80444323 @default.
- W2637947924 hasConceptScore W2637947924C9376300 @default.
- W2637947924 hasIssue "27" @default.
- W2637947924 hasOpenAccess W2637947924 @default.
- W2637947924 hasRelatedWork W1023775848 @default.
- W2637947924 hasRelatedWork W1516952404 @default.
- W2637947924 hasRelatedWork W1562372713 @default.
- W2637947924 hasRelatedWork W1654585710 @default.
- W2637947924 hasRelatedWork W1999260700 @default.
- W2637947924 hasRelatedWork W201331812 @default.
- W2637947924 hasRelatedWork W2035778526 @default.
- W2637947924 hasRelatedWork W2037474536 @default.
- W2637947924 hasRelatedWork W2088126145 @default.
- W2637947924 hasRelatedWork W2105305530 @default.
- W2637947924 hasRelatedWork W2295023645 @default.
- W2637947924 hasRelatedWork W2397637064 @default.
- W2637947924 hasRelatedWork W2490463551 @default.
- W2637947924 hasRelatedWork W2566960716 @default.
- W2637947924 hasRelatedWork W2580582392 @default.
- W2637947924 hasRelatedWork W2883822820 @default.
- W2637947924 hasRelatedWork W2962810194 @default.
- W2637947924 hasRelatedWork W3027347088 @default.
- W2637947924 hasRelatedWork W3195139395 @default.
- W2637947924 hasRelatedWork W46085146 @default.
- W2637947924 isParatext "false" @default.
- W2637947924 isRetracted "false" @default.
- W2637947924 magId "2637947924" @default.
- W2637947924 workType "article" @default.