Verified compilation of CakeML to multiple machine-code targets.

Anthony C. J. Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar

Browse the full CPP paper archive.