Derivable Type Classes (Q4921511): Difference between revisions

@@ Property / author @@
-Simon L. Peyton Jones
@@ Property / author: Simon L. Peyton Jones / rank @@
-Normal rank
@@ Property / author @@
+Simon L. Peyton Jones
@@ Property / author: Simon L. Peyton Jones / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GHC
@@ Property / describes a project that uses: GHC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Polyp
@@ Property / describes a project that uses: Polyp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Generic functional programming with types and relations
+Normal rank
@@ Property / cites work @@
+Manufacturing datatypes
@@ Property / cites work: Manufacturing datatypes / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to generic functional programming
@@ Property / cites work: A new approach to generic functional programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721090
@@ Property / cites work: Q2721090 / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial ML
@@ Property / cites work: Functorial ML / rank @@
+Normal rank
@@ Property / cites work @@
+Qualified Types
@@ Property / cites work: Qualified Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729056
@@ Property / cites work: Q2729056 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit parameters
@@ Property / cites work: Implicit parameters / rank @@
+Normal rank
@@ Property / cites work @@
+Purely Functional Data Structures
@@ Property / cites work: Purely Functional Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537010
@@ Property / cites work: Q4537010 / rank @@
+Normal rank