TY  - RPRT
TI  - Tail Modulo Cons
AU  - Frédéric Bour
AU  - Basile Clément
AU  - Gabriel Scherer
PY  - 2021
UR  - https://arxiv.org/abs/2102.09823
ID  - 2102.09823
ER  -