Comprehending Ringads (Q3188283): Difference between revisions

@@ Property / describes a project that uses @@
+CLEAN
@@ Property / describes a project that uses: CLEAN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GHC
@@ Property / describes a project that uses: GHC / 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.1007/978-3-319-30936-1_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2342139519
@@ Property / OpenAlex ID: W2342139519 / rank @@
+Normal rank
@@ 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