Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2085164448
@@ Property / OpenAlex ID: W2085164448 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122689
@@ Property / cites work: Q3122689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763199
@@ Property / cites work: Q2763199 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+A meta-language for typed object-oriented languages
+Normal rank
@@ Property / cites work @@
+Q4335420
@@ Property / cites work: Q4335420 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281468
@@ Property / cites work: Q4281468 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for overloaded functions with subtyping
+Normal rank
@@ Property / cites work @@
+Q4855425
@@ Property / cites work: Q4855425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992662
@@ Property / cites work: Q3992662 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular statically typed multimethods
@@ Property / cites work: Modular statically typed multimethods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344013
@@ Property / cites work: Q4344013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992915
@@ Property / cites work: Q3992915 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank