Modular statically typed multimethods (Q1854533): Difference between revisions

@@ Property / DOI @@
-.1006/inco.2002.3103
@@ Property / DOI: 10.1006/inco.2002.3103 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Dylan
@@ Property / describes a project that uses: Dylan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LISP
@@ Property / describes a project that uses: LISP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cecil
@@ Property / describes a project that uses: Cecil / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.2002.3103
+Normal rank
@@ Property / OpenAlex ID @@
+W2017743728
@@ Property / OpenAlex ID: W2017743728 / rank @@
+Normal rank
@@ Property / cites work @@
+An imperative object calculus
@@ Property / cites work: An imperative object calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / 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 calculus for overloaded functions with subtyping
+Normal rank
@@ Property / cites work @@
+Q4335420
@@ Property / cites work: Q4335420 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344011
@@ Property / cites work: Q4344011 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344013
@@ Property / cites work: Q4344013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997095
@@ Property / cites work: Q3997095 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/INCO.2002.3103
@@ Property / DOI: 10.1006/INCO.2002.3103 / rank @@
+Normal rank