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

DOI10.1145/944705.944715zbMath1315.68047OpenAlexW2105399292MaRDI QIDQ5261269

No author found.

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

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

Related Items (6)

Type safe incremental rebinding ⋮ Extending the lambda-calculus with unbind and rebind ⋮ A Framework for Type Safe Exchange of Mobile Code ⋮ Incremental rebinding with name polymorphism ⋮ Unnamed Item ⋮ A Parametric Calculus for Mobile Open Code

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