Partial evaluation of computation process, revisited (1999)

by Yoshihiko Futamura
Venue:Higher-Order and Symbolic Computation