My PhD thesis - Transformation and Analysis of Functional Programs - View it on GitHub