Flow analysis of lazy higher-order functional programs (2007)

by N D Jones, N Andersen
Venue:Theor. Comput. Sci