Partial evaluation of computation process - an approach to a compiler-compiler (1999)

by Y Futamura
Venue:Higher-Order and Symbolic Computation