Stateful runners of effectful computations (Q2520704): Difference between revisions

@@ Property / Wikidata QID @@
+Q113317717
@@ Property / Wikidata QID: Q113317717 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.12.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2197458523
@@ Property / OpenAlex ID: W2197458523 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic update lenses
@@ Property / cites work: Coalgebraic update lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Update Monads: Cointerpreting Directed Containers
@@ Property / cites work: Update Monads: Cointerpreting Directed Containers / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?
+Normal rank
@@ Property / cites work @@
+Combining algebraic effects with continuations
@@ Property / cites work: Combining algebraic effects with continuations / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Linear usage of state
@@ Property / cites work: Linear usage of state / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Tensors of Comodels and Models for Operational Semantics
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847820
@@ Property / cites work: Q2847820 / rank @@
+Normal rank