Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012355983> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2012355983 abstract "Left-nested list concatenations, left-nested binds on the free monad, and left-nested choices in many non-determinism monads have an algorithmically bad performance. Can we solve this problem without losing the ability to pattern-match on the computation? Surprisingly, there is a deceptively simple solution: use a smart view to pattern-match on the datatype. We introduce the notion of smart view and show how it solves the problem of slow left-nested operations. In particular, we use the technique to obtain fast and simple implementations of lists, of free monads, and of two non-determinism monads." @default.
- W2012355983 created "2016-06-24" @default.
- W2012355983 creator A5053982125 @default.
- W2012355983 creator A5060258989 @default.
- W2012355983 date "2015-08-29" @default.
- W2012355983 modified "2023-10-18" @default.
- W2012355983 title "Functional pearl: a smart view on datatypes" @default.
- W2012355983 cites W154321614 @default.
- W2012355983 cites W1590681881 @default.
- W2012355983 cites W1967089853 @default.
- W2012355983 cites W1970782371 @default.
- W2012355983 cites W1979039632 @default.
- W2012355983 cites W2098037505 @default.
- W2012355983 cites W2109158667 @default.
- W2012355983 cites W2130163138 @default.
- W2012355983 cites W2138452186 @default.
- W2012355983 cites W2150276232 @default.
- W2012355983 cites W3008973356 @default.
- W2012355983 doi "https://doi.org/10.1145/2784731.2784743" @default.
- W2012355983 hasPublicationYear "2015" @default.
- W2012355983 type Work @default.
- W2012355983 sameAs 2012355983 @default.
- W2012355983 citedByCount "3" @default.
- W2012355983 countsByYear W20123559832016 @default.
- W2012355983 countsByYear W20123559832021 @default.
- W2012355983 crossrefType "proceedings-article" @default.
- W2012355983 hasAuthorship W2012355983A5053982125 @default.
- W2012355983 hasAuthorship W2012355983A5060258989 @default.
- W2012355983 hasBestOaLocation W20123559832 @default.
- W2012355983 hasConcept C111472728 @default.
- W2012355983 hasConcept C11413529 @default.
- W2012355983 hasConcept C118615104 @default.
- W2012355983 hasConcept C121332964 @default.
- W2012355983 hasConcept C138885662 @default.
- W2012355983 hasConcept C156772000 @default.
- W2012355983 hasConcept C192183473 @default.
- W2012355983 hasConcept C199360897 @default.
- W2012355983 hasConcept C27206212 @default.
- W2012355983 hasConcept C2779251273 @default.
- W2012355983 hasConcept C2780586882 @default.
- W2012355983 hasConcept C33923547 @default.
- W2012355983 hasConcept C33959348 @default.
- W2012355983 hasConcept C41008148 @default.
- W2012355983 hasConcept C62520636 @default.
- W2012355983 hasConcept C80444323 @default.
- W2012355983 hasConceptScore W2012355983C111472728 @default.
- W2012355983 hasConceptScore W2012355983C11413529 @default.
- W2012355983 hasConceptScore W2012355983C118615104 @default.
- W2012355983 hasConceptScore W2012355983C121332964 @default.
- W2012355983 hasConceptScore W2012355983C138885662 @default.
- W2012355983 hasConceptScore W2012355983C156772000 @default.
- W2012355983 hasConceptScore W2012355983C192183473 @default.
- W2012355983 hasConceptScore W2012355983C199360897 @default.
- W2012355983 hasConceptScore W2012355983C27206212 @default.
- W2012355983 hasConceptScore W2012355983C2779251273 @default.
- W2012355983 hasConceptScore W2012355983C2780586882 @default.
- W2012355983 hasConceptScore W2012355983C33923547 @default.
- W2012355983 hasConceptScore W2012355983C33959348 @default.
- W2012355983 hasConceptScore W2012355983C41008148 @default.
- W2012355983 hasConceptScore W2012355983C62520636 @default.
- W2012355983 hasConceptScore W2012355983C80444323 @default.
- W2012355983 hasFunder F4320334832 @default.
- W2012355983 hasLocation W20123559831 @default.
- W2012355983 hasLocation W20123559832 @default.
- W2012355983 hasOpenAccess W2012355983 @default.
- W2012355983 hasPrimaryLocation W20123559831 @default.
- W2012355983 hasRelatedWork W1538724214 @default.
- W2012355983 hasRelatedWork W2099741881 @default.
- W2012355983 hasRelatedWork W2112962394 @default.
- W2012355983 hasRelatedWork W2118300983 @default.
- W2012355983 hasRelatedWork W2406651324 @default.
- W2012355983 hasRelatedWork W3137189469 @default.
- W2012355983 hasRelatedWork W3199301239 @default.
- W2012355983 hasRelatedWork W4235530921 @default.
- W2012355983 hasRelatedWork W4243252198 @default.
- W2012355983 hasRelatedWork W4287371904 @default.
- W2012355983 isParatext "false" @default.
- W2012355983 isRetracted "false" @default.
- W2012355983 magId "2012355983" @default.
- W2012355983 workType "article" @default.