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…