Optimization techniques for the compilation of lazy functional languages

Add text here…