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

@@ Property / Wikidata QID @@
+Q61660786
@@ Property / Wikidata QID: Q61660786 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:1355750