@article{allain_etal_tmc_2025,
 title = {Tail modulo cons, {OCaml}, and relational separation logic},
 author = {Allain, Cl\'ement and Bour, Fr\'ed\'eric and Cl\'ement, Basile and Pottier, Fran\c{c}ois and Scherer, Gabriel},
 year = {2025},
 month = {January},
 journal = {Proceedings of the ACM on Programming Languages},
 volume = {9},
 number = {POPL},
 pages = {2337--2363},
 url = {http://cambium.inria.fr/~fpottier/publis/tmc-popl2025.pdf}
}