FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2681883877> ?p ?o ?g. }

• W2681883877 endingPage "465" @default.
• W2681883877 startingPage "413" @default.
• W2681883877 abstract "Abstract Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (nonstrict evaluation with sharing of the results) with nondeterminism. Yet these benefits are seldom enjoyed in functional programming because the existing features for nonstrictness, sharing, and nondeterminism in functional languages are tricky to combine. We present a practical way to write purely functional lazy nondeterministic programs that are efficient and perspicuous. We achieve this goal by embedding the programs into existing languages (such as Haskell, SML, and OCaml) with high-quality implementations, by making choices lazily and representing data with nondeterministic components, by working with custom monadic data types and search strategies, and by providing equational laws for the programmer to reason about their code." @default.
• W2681883877 created "2017-06-30" @default.
• W2681883877 creator A5021546193 @default.
• W2681883877 creator A5033061863 @default.
• W2681883877 creator A5071276091 @default.
• W2681883877 date "2011-08-16" @default.
• W2681883877 modified "2023-10-17" @default.
• W2681883877 title "Purely functional lazy nondeterministic programming" @default.
• W2681883877 cites W1486941949 @default.
• W2681883877 cites W1590978730 @default.
• W2681883877 cites W1605638241 @default.
• W2681883877 cites W1831716037 @default.
• W2681883877 cites W1965784613 @default.
• W2681883877 cites W1970782371 @default.
• W2681883877 cites W1980476455 @default.
• W2681883877 cites W1980781982 @default.
• W2681883877 cites W2004843654 @default.
• W2681883877 cites W2019980137 @default.
• W2681883877 cites W2026049208 @default.
• W2681883877 cites W2029976661 @default.
• W2681883877 cites W2030663607 @default.
• W2681883877 cites W2049600101 @default.
• W2681883877 cites W2053867970 @default.
• W2681883877 cites W2054801208 @default.
• W2681883877 cites W2062838731 @default.
• W2681883877 cites W2063521547 @default.
• W2681883877 cites W2082657468 @default.
• W2681883877 cites W2089241138 @default.
• W2681883877 cites W2100948954 @default.
• W2681883877 cites W2101398694 @default.
• W2681883877 cites W2106602483 @default.
• W2681883877 cites W2112022010 @default.
• W2681883877 cites W2149935768 @default.
• W2681883877 cites W2166089338 @default.
• W2681883877 cites W2912235608 @default.
• W2681883877 cites W3010641660 @default.
• W2681883877 cites W4214478546 @default.
• W2681883877 cites W4246769448 @default.
• W2681883877 cites W4252577025 @default.
• W2681883877 doi "https://doi.org/10.1017/s0956796811000189" @default.
• W2681883877 hasPublicationYear "2011" @default.
• W2681883877 type Work @default.
• W2681883877 sameAs 2681883877 @default.
• W2681883877 citedByCount "28" @default.
• W2681883877 countsByYear W26818838772012 @default.
• W2681883877 countsByYear W26818838772014 @default.
• W2681883877 countsByYear W26818838772015 @default.
• W2681883877 countsByYear W26818838772016 @default.
• W2681883877 countsByYear W26818838772017 @default.
• W2681883877 countsByYear W26818838772018 @default.
• W2681883877 countsByYear W26818838772019 @default.
• W2681883877 countsByYear W26818838772020 @default.
• W2681883877 countsByYear W26818838772021 @default.
• W2681883877 countsByYear W26818838772022 @default.
• W2681883877 countsByYear W26818838772023 @default.
• W2681883877 crossrefType "journal-article" @default.
• W2681883877 hasAuthorship W2681883877A5021546193 @default.
• W2681883877 hasAuthorship W2681883877A5033061863 @default.
• W2681883877 hasAuthorship W2681883877A5071276091 @default.
• W2681883877 hasBestOaLocation W26818838771 @default.
• W2681883877 hasConcept C128099668 @default.
• W2681883877 hasConcept C176181172 @default.
• W2681883877 hasConcept C199360897 @default.
• W2681883877 hasConcept C26713055 @default.
• W2681883877 hasConcept C2778514511 @default.
• W2681883877 hasConcept C2780624054 @default.
• W2681883877 hasConcept C34165917 @default.
• W2681883877 hasConcept C41008148 @default.
• W2681883877 hasConcept C42383842 @default.
• W2681883877 hasConcept C80444323 @default.
• W2681883877 hasConceptScore W2681883877C128099668 @default.
• W2681883877 hasConceptScore W2681883877C176181172 @default.
• W2681883877 hasConceptScore W2681883877C199360897 @default.
• W2681883877 hasConceptScore W2681883877C26713055 @default.
• W2681883877 hasConceptScore W2681883877C2778514511 @default.
• W2681883877 hasConceptScore W2681883877C2780624054 @default.
• W2681883877 hasConceptScore W2681883877C34165917 @default.
• W2681883877 hasConceptScore W2681883877C41008148 @default.
• W2681883877 hasConceptScore W2681883877C42383842 @default.
• W2681883877 hasConceptScore W2681883877C80444323 @default.
• W2681883877 hasIssue "4-5" @default.
• W2681883877 hasLocation W26818838771 @default.
• W2681883877 hasOpenAccess W2681883877 @default.
• W2681883877 hasPrimaryLocation W26818838771 @default.
• W2681883877 hasRelatedWork W1491387272 @default.
• W2681883877 hasRelatedWork W1497719569 @default.
• W2681883877 hasRelatedWork W2003078175 @default.
• W2681883877 hasRelatedWork W2045380064 @default.
• W2681883877 hasRelatedWork W2127617483 @default.
• W2681883877 hasRelatedWork W2175256523 @default.
• W2681883877 hasRelatedWork W2681883877 @default.
• W2681883877 hasRelatedWork W4246781209 @default.
• W2681883877 hasRelatedWork W4312309273 @default.
• W2681883877 hasRelatedWork W2339613032 @default.
• W2681883877 hasVolume "21" @default.
• W2681883877 isParatext "false" @default.
• W2681883877 isRetracted "false" @default.
• W2681883877 magId "2681883877" @default.

• next