An operational semantics for TOOPLE: A statically-typed object-oriented programming language (Q5890071): Difference between revisions

@@ Property / cites work @@
+A modest model of records, inheritance, and bounded quantification
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence of subsumption, minimum typing and type-checking in F ≤
+Normal rank
@@ Property / cites work @@
+A semantic basis for Quest
@@ Property / cites work: A semantic basis for Quest / rank @@
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023828
@@ Property / cites work: Q4023828 / rank @@
+Normal rank