Optimizing lazy functional programs using AEowinference (1995)

by Karl-Filip Faxn
Venue:Static Analysis Symposium (SAS), volume 883 of LNCS