A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories and object-oriented programmimg
@@ Property / cites work: Type theories and object-oriented programmimg / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence of subsumption, minimum typing and type-checking in F ≤
+Normal rank
@@ Property / cites work @@
+Denotational semantics of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Recursion over realizability structures
@@ Property / cites work: Recursion over realizability structures / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic basis for Quest
@@ Property / cites work: A semantic basis for Quest / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998221
@@ Property / cites work: Q3998221 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of second-order lambda calculus
@@ Property / cites work: The semantics of second-order lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A modest model of records, inheritance, and bounded quantification
+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 @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+The programming language oberon
@@ Property / cites work: The programming language oberon / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667910
@@ Property / cites work: Q3667910 / rank @@
+Normal rank