Thomas BAGREL PhD manuscript on _Type systems for memory management in functional programming languages_ - View it on GitHub