Categorical ML -- category-theoretic modular programming (Q684395): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REVE
@@ Property / describes a project that uses: REVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345748
@@ Property / cites work: Q3345748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703866
@@ Property / cites work: Q3703866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040030
@@ Property / cites work: Q4040030 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for verifying equations of morphisms in a category
+Normal rank
@@ Property / cites work @@
+Q3790597
@@ Property / cites work: Q3790597 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01212406
+Normal rank
@@ Property / OpenAlex ID @@
+W1989558318
@@ Property / OpenAlex ID: W1989558318 / rank @@
+Normal rank