Global abstraction-safe marshalling with hash types

DOI10.1145/944705.944714MaRDI QIDQ5261268zbMATH OpenOpenAlexFDO

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

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

zbMATH Keywords

modulesprogramming languagestype theorylambda calculusMLhashingdistributed programmingabstract typesserialisationmarshallingsingleton kinds

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

Cited in

(4)

• Abstraction preservation and subtyping in distributed languages
• Typing unmarshalling without marshalling types
• 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)