Type-safe Unmarshalling for Objective Caml

Work in progress (2011/04).

• Modified OCaml compiler (3.12.0):
  git clone http://www.pps.jussieu.fr/~henry/git/ocaml-ty.git/
• Type-safe marshalling library:
  git clone http://www.pps.jussieu.fr/~henry/git/safe_unmarshaling.git/

More information can be found in my PhD thesis (in french).