Global abstraction-safe marshalling with hash types

DOI10.1145/944705.944714zbMath1315.68052OpenAlexW2037881889MaRDI QIDQ5261268

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

zbMATH Keywords

modulesprogramming languageslambda calculustype theoryhashingMLdistributed programmingabstract typesserialisationmarshallingsingleton kinds

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

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

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