Compilation as Rewriting in Higher Order Logic.

Guodong Li, Konrad Slind

Browse the full CADE paper archive.