Partial evaluation of computation process—an approach to a compiler-compiler,” Higher (1999)

by Y Futamura
Venue:Order Symbolic Computation