A Framework for Type Safe Exchange of Mobile Code (Q3608465): Difference between revisions

@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of module systems
@@ Property / cites work: A calculus of module systems / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673425
@@ Property / cites work: Q4673425 / rank @@
+Normal rank
@@ Property / cites work @@
+MOMI: a calculus for mobile mixins
@@ Property / cites work: MOMI: a calculus for mobile mixins / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic rebinding for marshalling and update, with destruct-time ?
+Normal rank
@@ Property / cites work @@
+Q2851704
@@ Property / cites work: Q2851704 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference, principal typings, and let-polymorphism for first-class mixin modules
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Privacy via subsumption
@@ Property / cites work: Privacy via subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Mutatis mutandis
@@ Property / cites work: Mutatis mutandis / rank @@
+Normal rank