Proof-Directed Compilation for Inter-operable Languages.

Atsushi Ohori

Browse the full APLAS paper archive.