Global abstraction-safe marshalling with hash types

DOI10.1145/944705.944714zbMATH Open1315.68052OpenAlexW2037881889MaRDI QIDQ5261268FDOQ5261268

Peter Sewell, Keith Wansbrough, Gilles Peskine, James J. Leifer

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://hal.inria.fr/inria-00071732/file/RR-4851.pdf

Recommendations

• Abstraction preservation and subtyping in distributed languages
• Typing unmarshalling without marshalling types
• Acute: high-level programming language design for distributed computation
• Acute: High-level programming language design for distributed computation
• Modules, abstract types, and distributed versioning

zbMATH Keywords

modulesprogramming languagestype theorylambda calculusMLhashingdistributed programmingabstract typesserialisationmarshallingsingleton kinds

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (2)

• Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
• A bisimulation for dynamic sealing

This page was built for publication: Global abstraction-safe marshalling with hash types

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