Destination-passing style programming: a Haskell implementation. - Thomas Bagrel (CoRR, 2023)

Destination Calculus: A Linear 𝜆-Calculus for Purely Functional Memory Writes. - Thomas Bagrel; Arnaud Spiwack (Proc. ACM Program. Lang., 2025)