Comprehending Ringads (Q3188283): Difference between revisions

@@ Property / cites work @@
+Principles of programming with complex objects and collection types
+Normal rank
@@ Property / cites work @@
+Optimizing object queries using an effective calculus
+Normal rank
@@ Property / cites work @@
+Q4473276
@@ Property / cites work: Q4473276 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Formal Theory of Graded Monads
@@ Property / cites work: Towards a Formal Theory of Graded Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Generic multiset programming with discrimination-based joins and symbolic Cartesian products
+Normal rank
@@ Property / cites work @@
+Parametric effect monads and semantics of effect systems
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics and Graded Monads.
@@ Property / cites work: Generic Trace Semantics and Graded Monads. / 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 @@
+Effects as sessions, sessions as effects
@@ Property / cites work: Effects as sessions, sessions as effects / rank @@
+Normal rank
@@ Property / cites work @@
+Coeffects
@@ Property / cites work: Coeffects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741005
@@ Property / cites work: Q3741005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4069751
@@ Property / cites work: Q4069751 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded fixpoints for complex objects
@@ Property / cites work: Bounded fixpoints for complex objects / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank