Title: Demand analysis and compilation of lazy functional programs