Typing unmarshalling without marshalling types

DOI10.1145/2364527.2364569zbMATH Open1291.68121OpenAlexW2144108798MaRDI QIDQ5168906FDOQ5168906

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

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

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)

Cited In (1)

• Global abstraction-safe marshalling with hash types

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)