This page needs to have a much clearer focus, eg. how does it relate to OCaml, what are the particular problems in OCaml (eg. with Marshal), how can you go about serialization, what are the trade-offs (speed, sharing, interop).
I don't think this is a solved problem, so maybe better to go with some pointers to mailing list threads where this is discussed.
[While I remember -- please use the "Insert new section here" button to create short editable sections]
Sure, it's only a draft to incite people to contribute.