Type inference for record concatenation and subtyping (Q1887147): Difference between revisions

@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738384
@@ Property / cites work: Q4738384 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient inference of partial types
@@ Property / cites work: Efficient inference of partial types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient inference of object types
@@ Property / cites work: Efficient inference of object types / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with non-structural subtyping
@@ Property / cites work: Type inference with non-structural subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying subtyping constraints
@@ Property / cites work: Simplifying subtyping constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729058
@@ Property / cites work: Q2729058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855342
@@ Property / cites work: Q4855342 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-indexed rows
@@ Property / cites work: Type-indexed rows / rank @@
+Normal rank
@@ Property / cites work @@
+Q4470496
@@ Property / cites work: Q4470496 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference for record concatenation and multiple inheritance
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank