Calculating Certified Compilers for Non-deterministic Languages.

Patrick Bahr

Browse the full MPC paper archive.