Optimizing lazy functional programs using flow inference (1995)

by Karl Faxén
Venue:In Static Analysis