Indexed types (Q1389626): Difference between revisions

@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023642
@@ Property / cites work: Q4023642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958439
@@ Property / cites work: Q3958439 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for type-checking dependent types
@@ Property / cites work: An algorithm for type-checking dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+Qualified Types
@@ Property / cites work: Qualified Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536619
@@ Property / cites work: Q5536619 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic type system for Prolog
@@ Property / cites work: A polymorphic type system for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion Equations as a Programming Language
@@ Property / cites work: Recursion Equations as a Programming Language / rank @@
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank