Typer la dé-sérialisation sans sérialiser les types

Grégoire Henry Michel Mauny Emmanuel Chailloux Typer la dé-sérialisation sans sérialiser les types http://arxiv.org/abs/0705.1452 2007 CoRR abs/0705.1452 db/journals/corr/corr0705.html#abs-0705-1452 informal publication