Strong normalization with non-structural subtyping (Q4862765): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q61660783
@@ Property / Wikidata QID: Q61660783 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference for record concatenation and multiple inheritance
+Normal rank
@@ Property / cites work @@
+Safety analysis versus type inference for partial types
+Normal rank
@@ Property / cites work @@
+Type inference with simple subtypes
@@ Property / cites work: Type inference with simple subtypes / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient inference of partial types
@@ Property / cites work: Efficient inference of partial types / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/mscs/WandOP95
@@ Property / DBLP publication ID: journals/mscs/WandOP95 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4862765