A declarative framework for object-oriented programming with genetic inheritance (Q5958620): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490733
@@ Property / cites work: Q4490733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001603
@@ Property / cites work: Q4001603 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a meaning of life
@@ Property / cites work: Towards a meaning of life / rank @@
+Normal rank
@@ Property / cites work @@
+A feature constraint system for logic programming with entailment
+Normal rank
@@ Property / cites work @@
+Q3357521
@@ Property / cites work: Q3357521 / rank @@
+Normal rank
@@ Property / cites work @@
+A paradigmatic object-oriented programming language: Design, static typing and semantics
+Normal rank
@@ Property / cites work @@
+Comparing object encodings.
@@ Property / cites work: Comparing object encodings. / 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 @@
+Q4942101
@@ Property / cites work: Q4942101 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4202938
@@ Property / cites work: Q4202938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4208532
@@ Property / cites work: Q4208532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714444
@@ Property / cites work: Q4714444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple type-theoretic foundations for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Inheritance hierarchies: Semantics and unifications
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank