Sciweavers

ESOP
2003
Springer
14 years 5 months ago
Tagging, Encoding, and Jones Optimality
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
Olivier Danvy, Pablo E. Martínez Lóp...