Title: Optimization techniques for the compilation of lazy functional languages