2 papers
cs.PL2026
Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
Thomas Bagrel
Destination-passing style programming introduces destinations, which represent the address of a write-once memory cell. These destinations can be passed as function parameters, all…
cs.PL2025
Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
Thomas Bagrel, Arnaud Spiwack
Destination passing -- aka. out parameters -- is taking a parameter to fill rather than returning a result from a function. Due to its apparently imperative nature, destination pas…