@article{Tan_MKFON_19,
    author           = {Tan, Yong Kiam and Myreen, Magnus and Kumar, Ramana and Fox, Anthony and Owens, Scott and Norrish,
                        Michael},
    date             = {2019-2-4},
    doi              = {https://doi.org/10.1017/S0956796818000229},
    journal          = {Journal of Functional Programming},
    month            = feb,
    numpages         = {57},
    paperurl         = {https://trustworthy.systems/publications/full_text/Tan_MKFON_19.pdf},
    publisher        = {Cambridge University Press},
    title            = {The verified {CakeML} compiler backend},
    volume           = {29},
    year             = {2019}
  }