Certified Compilation of Financial Contracts.

Danil Annenkov, Martin Elsman

Browse the full PPDP paper archive.