TY  - RPRT
TI  - Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
AU  - Thomas Bagrel
PY  - 2026
UR  - https://arxiv.org/abs/2601.08529
ID  - 2601.08529
ER  -