Dynamic rebinding for marshalling and update, with destruct-time ?
From MaRDI portal
Publication:5261269
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
programming languageslambda calculusdynamic bindingdistributed programmingdynamic updateserialisationmarshalling
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 ?