Typing unmarshalling without marshalling types

DOI10.1145/2364527.2364569MaRDI QIDQ5168906zbMATH OpenOpenAlexFDO

Authors Grégoire Henry, Emmanuel Chailloux, Pascal Manoury, Michel Mauny

Publication date 21 July 2014

Published in Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://tel.archives-ouvertes.fr/tel-00624156/file/these.pdf

zbMATH Keywords

OCamLtype-safe marshalling

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Global abstraction-safe marshalling with hash types
• Typing dynamic typing
• Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\)
• FUNCTIONAL PEARL Type-safe cast
• Type Processing by Constraint Reasoning

Cited in

(1)

• Global abstraction-safe marshalling with hash types

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Typing unmarshalling without marshalling types

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