Objects and classes in Algol-like languages (Q1854495): Difference between revisions

@@ 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 @@
+Q4222822
@@ Property / cites work: Q4222822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332229
@@ Property / cites work: Q3332229 / rank @@
+Normal rank
@@ Property / cites work @@
+SIMULA: an ALGOL-based simulation language
@@ Property / cites work: SIMULA: an ALGOL-based simulation language / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for concurrent objects
@@ Property / cites work: A calculus for concurrent objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364534
@@ Property / cites work: Q4364534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301602
@@ Property / cites work: Q4301602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5183092
@@ Property / cites work: Q5183092 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive subtyping
@@ Property / cites work: Positive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855345
@@ Property / cites work: Q4855345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364388
@@ Property / cites work: Q4364388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5753940
@@ Property / cites work: Q5753940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A model for syntactic control of interference
@@ Property / cites work: A model for syntactic control of interference / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic control of interference revisited
@@ Property / cites work: Syntactic control of interference revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222776
@@ Property / cites work: Q4222776 / rank @@
+Normal rank
@@ Property / cites work @@
+From Algol to polymorphic linear lambda-calculus
@@ Property / cites work: From Algol to polymorphic linear lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138545
@@ Property / cites work: Q3138545 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+Simple type-theoretic foundations for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Q4281485
@@ Property / cites work: Q4281485 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural correctness of data representations
@@ Property / cites work: Behavioural correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analysis of specification logic
@@ Property / cites work: Semantical analysis of specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+The denotational semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank