@inproceedings{Tan_MKFON_16,
    address          = {Nara, Japan},
    author           = {Tan, Yong Kiam and Myreen, Magnus and Kumar, Ramana and Fox, Anthony and Owens, Scott and Norrish,
                        Michael},
    booktitle        = {International Conference on Functional Programming},
    keywords         = {cakeml},
    month            = sep,
    pages            = {14},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9352.pdf},
    title            = {A New Verified Compiler Backend for {CakeML}},
    year             = {2016}
  }