Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction

DOI10.1017/S0956796807006600zbMATH Open1153.68014OpenAlexW2109261879MaRDI QIDQ3520166FDOQ3520166

Authors:

Publication date: 15 August 2008

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796807006600

Recommendations

• Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\)
• Type safe incremental rebinding
• Extending the lambda-calculus with unbind and rebind
• Trustworthy Global Computing
• A lambda-calculus for dynamic binding

zbMATH Keywords

core dynamic rebinding

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• The revised report on the syntactic theories of sequential control and state
• Acute: High-level programming language design for distributed computation
• A lambda-calculus for dynamic binding
• A syntactic theory of dynamic binding
• Skew confluence and the lambda calculus with letrec
• A typed context calculus

Cited In (5)

• Trustworthy Global Computing
• Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\)
• Dynamic rebinding for concurrent object groups: theory and practice
• Compilation of extended recursion in call-by-value functional languages
• Extending the lambda-calculus with unbind and rebind

Uses Software

• OCaml

This page was built for publication: Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520166)