@article{henry:hal-00275358,
  TITLE = {{Typer la d{\'e}s{\'e}rialisation sans s{\'e}rialiser les types}},
  AUTHOR = {Henry, Gr{\'e}goire and Mauny, Michel and Chailloux, Emmanuel},
  URL = {https://hal.science/hal-00275358},
  JOURNAL = {{Revue des Sciences et Technologies de l'Information - S{\'e}rie TSI : Technique et Science Informatiques}},
  PUBLISHER = {{Lavoisier}},
  VOLUME = {26},
  NUMBER = {9},
  PAGES = {1067-1090},
  YEAR = {2007},
  KEYWORDS = {Marshalling ; unmarshalling ; static typing ; antiunification ; ML ; OCaml ; polymorphic recursion},
  HAL_ID = {hal-00275358},
  HAL_VERSION = {v1},
}