Algebraic Specialization of Generic Functions for Recursive Types (Q5166621): Difference between revisions

@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Associated type synonyms
@@ Property / cites work: Associated type synonyms / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Point-Free Program Transformation
@@ Property / cites work: A Framework for Point-Free Program Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly Typed Rewriting For Coupled Software Transformation
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics Is Enough!
@@ Property / cites work: Initial Algebra Semantics Is Enough! / rank @@
+Normal rank
@@ Property / cites work @@
+Scrap your boilerplate with class
@@ Property / cites work: Scrap your boilerplate with class / rank @@
+Normal rank
@@ Property / cites work @@
+Paramorphisms
@@ Property / cites work: Paramorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking with open type functions
@@ Property / cites work: Type checking with open type functions / rank @@
+Normal rank