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

DOI10.1017/S0956796807006600MaRDI QIDQ3520166zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

core dynamic rebinding

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

Cites work

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

Cited in

(5)

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

Describes a project that uses

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)