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

by M H B Sørensen, R Glück, N D Jones
Venue:In Proceedings of ESOP, LNCS