TY  - RPRT
TI  - Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
AU  - Thomas Bagrel
AU  - Arnaud Spiwack
PY  - 2025
DO  - 10.1145/3720423
UR  - https://arxiv.org/abs/2503.07489
ID  - 2503.07489
ER  -