Experience report: a do-it-yourself high-assurance compiler.

Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe

Browse the full ICFP paper archive.