Certifying Compilation and Run-Time Code Generation.

Luke Hornof, Trevor Jim

Browse the full PEPM paper archive.