D-oids: a model for dynamic data-types (Q4856662): Difference between revisions

@@ Property / author @@
-Egidio Astesiano
@@ Property / author: Egidio Astesiano / rank @@
-Normal rank
@@ Property / author @@
+Egidio Astesiano
@@ Property / author: Egidio Astesiano / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order data types
@@ Property / cites work: Higher order data types / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4856662