Compiler generation by partial evaluation (1992)

by J Jrgensen