Type-based hot swapping of running modules (Q1772100): Difference between revisions

@@ Property / cites work @@
+Q4490733
@@ Property / cites work: Q4490733 / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+A paradigmatic object-oriented programming language: Design, static typing and semantics
+Normal rank
@@ Property / cites work @@
+Q4855348
@@ Property / cites work: Q4855348 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532094
@@ Property / cites work: Q4532094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532092
@@ Property / cites work: Q4532092 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixin modules
@@ Property / cites work: Mixin modules / rank @@
+Normal rank
@@ Property / cites work @@
+Type dispatch for named hierarchical types
@@ Property / cites work: Type dispatch for named hierarchical types / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Java classes in a typed intermediate language
+Normal rank
@@ Property / cites work @@
+Stack-based typed assembly language
@@ Property / cites work: Stack-based typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Modules, abstract types, and distributed versioning
+Normal rank
@@ Property / cites work @@
+Flexible representation analysis
@@ Property / cites work: Flexible representation analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Transparent modules with fully syntatic signatures
+Normal rank
@@ Property / cites work @@
+Deciding type equivalence in a language with singleton kinds
+Normal rank