Runners in Action (Q5041086): Difference between revisions

@@ Property / cites work @@
+An Effect System for Algebraic Effects and Handlers
+Normal rank
@@ Property / cites work @@
+Programming with algebraic effects and handlers
@@ Property / cites work: Programming with algebraic effects and handlers / rank @@
+Normal rank
@@ Property / cites work @@
+Exceptional syntax
@@ Property / cites work: Exceptional syntax / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators for bi-directional tree transformations
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers in action
@@ Property / cites work: Handlers in action / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction Laws of Monads and Comonads
@@ Property / cites work: Interaction Laws of Monads and Comonads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4829806
@@ Property / cites work: Q4829806 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear usage of state
@@ Property / cites work: Linear usage of state / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / 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 @@
+Semantics for Algebraic Operations
@@ Property / cites work: Semantics for Algebraic Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Tensors of Comodels and Models for Operational Semantics
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+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
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit effect subtyping
@@ Property / cites work: Explicit effect subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Stateful runners of effectful computations
@@ Property / cites work: Stateful runners of effectful computations / rank @@
+Normal rank