Q5020620 (Q5020620): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457445
@@ Property / cites work: Q4457445 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of refinement types
@@ Property / cites work: Logic of refinement types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3284160
@@ Property / cites work: Q3284160 / rank @@
+Normal rank
@@ Property / cites work @@
+Single Assignment C: efficient support for high-level array operations in a functional setting
+Normal rank
@@ Property / cites work @@
+An Array-Oriented Language with Static Rank Polymorphism
+Normal rank
@@ Property / cites work @@
+Dependently typed array programs don't go wrong
@@ Property / cites work: Dependently typed array programs don't go wrong / rank @@
+Normal rank