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

@@ Property / DOI @@
-.1007/s00236-004-0151-1
@@ Property / DOI: 10.1007/s00236-004-0151-1 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TALx86
@@ Property / describes a project that uses: TALx86 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ada95
@@ Property / describes a project that uses: Ada95 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-004-0151-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2032287150
@@ Property / OpenAlex ID: W2032287150 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00236-004-0151-1
@@ Property / DOI: 10.1007/S00236-004-0151-1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1772100