Towards unifying deforestation, supercompilation, partial evaluation, and generalized partial computation (0)

by M H Srensen, R Gluck, N D Jones
Venue:Programming Languages and Systems, LNCS 788, 485--500