M. G. Van-den-brand, H. A. De-jong, P. Klint, and P. A. Olivier, Efficient annotated terms, Software: Practice and Experience, vol.20, issue.3, pp.259-291, 2000.
DOI : 10.1002/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y

J. Billings, P. Sewell, M. Shinwell, and R. Strni?a, Type-safe distributed programming for OCaml, Proceedings of the 2006 workshop on ML , ML '06, pp.20-31, 2006.
DOI : 10.1145/1159876.1159881

P. Cuoq and D. Doligez, Hashconsing in an incrementally garbage-collected system, Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML '08, pp.13-22, 2008.
DOI : 10.1145/1411304.1411308

P. Cuoq and J. Signoles, Experience Report: OCaml for an Industrial-Strength Static Analysis Framework, Proceedings of the 2009 International Conference on Functional Programming, pp.281-286, 2009.

M. Elsman, Type-specialized serialization with sharing, Proceedings of the Sixth Symposium on Trends in Functional Programming, 2005.

G. Henry, Typer la d??s??rialisation sans s??rialiser les types, Techniques et sciences informatiques, vol.26, issue.9, 2011.
DOI : 10.3166/tsi.26.1067-1090

URL : http://arxiv.org/abs/0705.1452

G. Henry, M. Mauny, and E. Chailloux, Typer la d??s??rialisation sans s??rialiser les types, Techniques et sciences informatiques, vol.26, issue.9, pp.1067-1090, 2007.
DOI : 10.3166/tsi.26.1067-1090

URL : http://arxiv.org/abs/0705.1452

A. Kennedy, FUNCTIONAL PEARL Pickler combinators, Journal of Functional Programming, vol.14, issue.6, pp.727-739, 2004.
DOI : 10.1017/S0956796804005209

A. Rossberg, G. Tack, and L. Kornstaedt, Status report, Proceedings of the 2007 workshop on Workshop on ML , ML '07, pp.25-36, 2007.
DOI : 10.1145/1292535.1292540

J. Signoles, Foncteurs impératifs et composés: la notion de projets dans, French. [Sig11a] Julien Signoles. An OCaml Library for Dynamic Typing Trends in Functional Programming, pp.37-54, 2009.

[. Signoles, Une bibliothèque de typage dynamique en OCaml, Actes des Journées Francophones des Langages Applicatifs, pp.209-242, 2011.

P. Sewell, J. J. Leifer, K. Wansbrough, F. Zappa-nardelli, M. Allen-williams et al., Acute: high-level programming language design for distributed computation, Proceedings of the tenth International Conference on Functional Programming, pp.15-26, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070671