Online type-directed partial evaluation. FLOPS '98 (0)

by Olivier Danvy