Thomas BAGREL PhD manuscript on _Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings_ - View it on GitHub