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
Type-safe distributed programming for OCaml, Proceedings of the 2006 workshop on ML , ML '06, pp.20-31, 2006. ,
DOI : 10.1145/1159876.1159881
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
Experience Report: OCaml for an Industrial-Strength Static Analysis Framework, Proceedings of the 2009 International Conference on Functional Programming, pp.281-286, 2009. ,
Type-specialized serialization with sharing, Proceedings of the Sixth Symposium on Trends in Functional Programming, 2005. ,
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
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
FUNCTIONAL PEARL Pickler combinators, Journal of Functional Programming, vol.14, issue.6, pp.727-739, 2004. ,
DOI : 10.1017/S0956796804005209
Status report, Proceedings of the 2007 workshop on Workshop on ML , ML '07, pp.25-36, 2007. ,
DOI : 10.1145/1292535.1292540
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. ,
Une bibliothèque de typage dynamique en OCaml, Actes des Journées Francophones des Langages Applicatifs, pp.209-242, 2011. ,
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