allain_etal_tmc_2025:
  type: article
  title: Tail modulo cons, {OCaml}, and relational separation logic
  author:
  - Allain, Clément
  - Bour, Frédéric
  - Clément, Basile
  - Pottier, François
  - Scherer, Gabriel
  date: 2025-01
  page-range: 2337-2363
  url: http://cambium.inria.fr/~fpottier/publis/tmc-popl2025.pdf
  parent:
    type: periodical
    title: Proceedings of the ACM on Programming Languages
    issue: POPL
    volume: 9