The essence of program transformation by partial evaluation and driving (2000)

by N D Jones
Venue:In Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI ’99