TY  - RPRT
TI  - Tail Modulo Cons, OCaml, and Relational Separation Logic
AU  - Clément Allain
AU  - Frédéric Bour
AU  - Basile Clément
AU  - François Pottier
AU  - Gabriel Scherer
PY  - 2024
DO  - 10.1145/3704915
UR  - https://arxiv.org/abs/2411.19397
ID  - 2411.19397
ER  -