Incremental rebinding with name polymorphism (Q737082): Difference between revisions

@@ 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.1016/j.entcs.2016.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2337724494
@@ Property / OpenAlex ID: W2337724494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993855
@@ Property / cites work: Q4993855 / 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 @@
+Dynamic rebinding for marshalling and update, with destruct-time ?
+Normal rank
@@ Property / cites work @@
+A lambda-calculus for dynamic binding
@@ Property / cites work: A lambda-calculus for dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964691
@@ Property / cites work: Q4964691 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending the lambda-calculus with unbind and rebind
+Normal rank
@@ Property / cites work @@
+Q4379488
@@ Property / cites work: Q4379488 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of dynamic binding
@@ Property / cites work: A syntactic theory of dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+Generative Unbinding of Names
@@ Property / cites work: Generative Unbinding of Names / rank @@
+Normal rank
@@ Property / cites work @@
+FreshML
@@ Property / cites work: FreshML / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992915
@@ Property / cites work: Q3992915 / rank @@
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank