A hybrid approach to online and offline partial evaluation (2001)

by E Sumii, N Kobayashi
Venue:Higher-Order and Symbolic Computation