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