Compiling for runtime code generation (2000)

by F Smith, D Grossman, G Morrisett, L Hornof, T Jim