FRINK Linked Data Fragments server

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

• W2886571871 endingPage "30" @default.
• W2886571871 startingPage "1" @default.
• W2886571871 abstract "Two particularly important classes of effects are those that can be given semantics using a monad and those that can be given semantics using a comonad. Currently, programs with both kinds of effects are usually given semantics using a technique that relies on a distributive law. While it is known that not every pair of a monad and a comonad has a distributive law, it was previously unknown if there were any realistic pairs of effects that could not be given semantics in this manner. This paper answers that question by giving an example of a pair of effects that cannot be given semantics using a distributive law. Our example furthermore is intimately tied to the duality of strictness and laziness. We discuss how to view this duality through the lens of effects." @default.
• W2886571871 created "2018-08-22" @default.
• W2886571871 creator A5001655224 @default.
• W2886571871 creator A5015733309 @default.
• W2886571871 date "2018-07-30" @default.
• W2886571871 modified "2023-10-12" @default.
• W2886571871 title "Strict and lazy semantics for effects: layering monads and comonads" @default.
• W2886571871 cites W111511002 @default.
• W2886571871 cites W1830196027 @default.
• W2886571871 cites W1980476455 @default.
• W2886571871 cites W1980827618 @default.
• W2886571871 cites W1986053257 @default.
• W2886571871 cites W1998873876 @default.
• W2886571871 cites W2004063149 @default.
• W2886571871 cites W2010113673 @default.
• W2886571871 cites W2010649834 @default.
• W2886571871 cites W2016326123 @default.
• W2886571871 cites W2022518532 @default.
• W2886571871 cites W2030663607 @default.
• W2886571871 cites W2039977878 @default.
• W2886571871 cites W2046137117 @default.
• W2886571871 cites W2053198071 @default.
• W2886571871 cites W2053867970 @default.
• W2886571871 cites W2070324762 @default.
• W2886571871 cites W2078944436 @default.
• W2886571871 cites W2086727636 @default.
• W2886571871 cites W2088735483 @default.
• W2886571871 cites W2089549471 @default.
• W2886571871 cites W2090746009 @default.
• W2886571871 cites W2102459565 @default.
• W2886571871 cites W2111795230 @default.
• W2886571871 cites W2114991657 @default.
• W2886571871 cites W2118671630 @default.
• W2886571871 cites W2123733847 @default.
• W2886571871 cites W2128932399 @default.
• W2886571871 cites W2137282578 @default.
• W2886571871 cites W2153557668 @default.
• W2886571871 cites W2162298406 @default.
• W2886571871 cites W2164691248 @default.
• W2886571871 cites W2166049140 @default.
• W2886571871 cites W2267766518 @default.
• W2886571871 cites W2515656721 @default.
• W2886571871 cites W2911865844 @default.
• W2886571871 cites W3038013766 @default.
• W2886571871 cites W4230454922 @default.
• W2886571871 cites W4238292764 @default.
• W2886571871 doi "https://doi.org/10.1145/3236783" @default.
• W2886571871 hasPublicationYear "2018" @default.
• W2886571871 type Work @default.
• W2886571871 sameAs 2886571871 @default.
• W2886571871 citedByCount "0" @default.
• W2886571871 crossrefType "journal-article" @default.
• W2886571871 hasAuthorship W2886571871A5001655224 @default.
• W2886571871 hasAuthorship W2886571871A5015733309 @default.
• W2886571871 hasBestOaLocation W28865718711 @default.
• W2886571871 hasConcept C11821877 @default.
• W2886571871 hasConcept C118615104 @default.
• W2886571871 hasConcept C156325763 @default.
• W2886571871 hasConcept C156772000 @default.
• W2886571871 hasConcept C17744445 @default.
• W2886571871 hasConcept C184337299 @default.
• W2886571871 hasConcept C199360897 @default.
• W2886571871 hasConcept C199539241 @default.
• W2886571871 hasConcept C202444582 @default.
• W2886571871 hasConcept C2776447739 @default.
• W2886571871 hasConcept C2778023678 @default.
• W2886571871 hasConcept C33923547 @default.
• W2886571871 hasConcept C33959348 @default.
• W2886571871 hasConcept C41008148 @default.
• W2886571871 hasConceptScore W2886571871C11821877 @default.
• W2886571871 hasConceptScore W2886571871C118615104 @default.
• W2886571871 hasConceptScore W2886571871C156325763 @default.
• W2886571871 hasConceptScore W2886571871C156772000 @default.
• W2886571871 hasConceptScore W2886571871C17744445 @default.
• W2886571871 hasConceptScore W2886571871C184337299 @default.
• W2886571871 hasConceptScore W2886571871C199360897 @default.
• W2886571871 hasConceptScore W2886571871C199539241 @default.
• W2886571871 hasConceptScore W2886571871C202444582 @default.
• W2886571871 hasConceptScore W2886571871C2776447739 @default.
• W2886571871 hasConceptScore W2886571871C2778023678 @default.
• W2886571871 hasConceptScore W2886571871C33923547 @default.
• W2886571871 hasConceptScore W2886571871C33959348 @default.
• W2886571871 hasConceptScore W2886571871C41008148 @default.
• W2886571871 hasIssue "ICFP" @default.
• W2886571871 hasLocation W28865718711 @default.
• W2886571871 hasOpenAccess W2886571871 @default.
• W2886571871 hasPrimaryLocation W28865718711 @default.
• W2886571871 hasRelatedWork W1547639981 @default.
• W2886571871 hasRelatedWork W1558176678 @default.
• W2886571871 hasRelatedWork W1588285800 @default.
• W2886571871 hasRelatedWork W1778728081 @default.
• W2886571871 hasRelatedWork W2053290352 @default.
• W2886571871 hasRelatedWork W27605384 @default.
• W2886571871 hasRelatedWork W2886571871 @default.
• W2886571871 hasRelatedWork W63393015 @default.
• W2886571871 hasRelatedWork W2141437433 @default.
• W2886571871 hasRelatedWork W2488308144 @default.
• W2886571871 hasVolume "2" @default.

• next