My PhD thesis - Transformation and Analysis of Functional Programs