@inproceedings{Fox_MTK_17,
    address          = {Paris, France},
    author           = {Fox, Anthony and Myreen, Magnus and Tan, Yong Kiam and Kumar, Ramana},
    booktitle        = {International Conference on Certified Programs and Proofs},
    keywords         = {cakeml},
    month            = jan,
    pages            = {125--137},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9510.pdf},
    title            = {Verified Compilation of {CakeML} to Multiple Machine-Code Targets},
    year             = {2017}
  }