Type inference with non-structural subtyping (Q1355750): Difference between revisions

@@ Property / cites work @@
+Efficient inference of partial types
@@ Property / cites work: Efficient inference of partial types / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient recursive subtyping
@@ Property / cites work: Efficient recursive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with simple subtypes
@@ Property / cites work: Type inference with simple subtypes / rank @@
+Normal rank
@@ Property / cites work @@
+Safety analysis versus type inference for partial types
+Normal rank
@@ Property / cites work @@
+Q3793704
@@ Property / cites work: Q3793704 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference for record concatenation and multiple inheritance
+Normal rank
@@ Property / cites work @@
+Strong normalization with non-structural subtyping
+Normal rank