Extending the lambda-calculus with unbind and rebind (Q3006163): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2019672037
@@ Property / OpenAlex ID: W2019672037 / rank @@
+Normal rank
@@ Property / cites work @@
+A Parametric Calculus for Mobile Open Code
@@ Property / cites work: A Parametric Calculus for Mobile Open Code / 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 @@
+Extending the lambda-calculus with unbind and rebind
+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 @@
+Acute: High-level programming language design for distributed computation
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3006163