Dynamic rebinding for marshalling and update, with destruct-time ?

DOI10.1145/944705.944715zbMATH Open1315.68047OpenAlexW2105399292MaRDI QIDQ5261269FDOQ5261269

Author name not available (Why is that?)

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

programming languageslambda calculusdynamic bindingdistributed programmingdynamic updateserialisationmarshalling

Mathematics Subject Classification ID

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

Cited In (6)

• A Framework for Type Safe Exchange of Mobile Code
• Incremental rebinding with name polymorphism
• Type safe incremental rebinding
• A parametric calculus for mobile open code
• Title not available (Why is that?)
• Extending the lambda-calculus with unbind and rebind

This page was built for publication: Dynamic rebinding for marshalling and update, with destruct-time ?

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