Hierarchy in Generic Programming Libraries (Q2941169): Difference between revisions

@@ Property / cites work @@
+Generic Views on Data Types
@@ Property / cites work: Generic Views on Data Types / rank @@
+Normal rank
@@ Property / cites work @@
+Scrap more boilerplate
@@ Property / cites work: Scrap more boilerplate / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming with Multiple Parameters
@@ Property / cites work: Generic Programming with Multiple Parameters / rank @@
+Normal rank
@@ Property / cites work @@
+Q5854728
@@ Property / cites work: Q5854728 / rank @@
+Normal rank
@@ Property / cites work @@
+A lightweight approach to datatype-generic rewriting
+Normal rank
@@ Property / cites work @@
+Generic programming with fixed points for mutually recursive datatypes
+Normal rank
@@ Property / cites work @@
+Type checking with open type functions
@@ Property / cites work: Type checking with open type functions / rank @@
+Normal rank
@@ Property / cites work @@
+Complete and decidable type inference for GADTs
@@ Property / cites work: Complete and decidable type inference for GADTs / rank @@
+Normal rank