Dynamic rebinding for marshalling and update, with destruct-time

DOI10.1145/944705.944715MaRDI QIDQ5261269zbMATH OpenOpenAlexFDO

Authors

Publication date 2 July 2015

Published in Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/944705.944715

zbMATH Keywords

distributed programmingdynamic bindingdynamic updatelambda calculusmarshallingprogramming languagesserialisation

Mathematics Subject Classification ID

Distributed systems (68M14) Functional programming and lambda calculus (68N18)

Recommendations

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

Cited in

(11)

• A syntactic theory of dynamic binding
• A parametric calculus for mobile open code
• Type safe incremental rebinding
• Extending the lambda-calculus with unbind and rebind
• Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
• A Framework for Type Safe Exchange of Mobile Code
• Constrained polymorphic types for a calculus with name variables
• Typing unmarshalling without marshalling types
• ReCaml: execution state as the cornerstone of reconfigurations
• Trustworthy Global Computing
• Incremental rebinding with name polymorphism

This page was built for publication: Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\)

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