@inproceedings{Kumar_MNO_14,
    address          = {San Diego},
    author           = {Kumar, Ramana and Myreen, Magnus and Norrish, Michael and Owens, Scott},
    booktitle        = {ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    doi              = {10.1145/2535838.2535841},
    editor           = {{Peter Sewell}},
    keywords         = {sml, theorem-proving, verification},
    month            = jan,
    pages            = {179--191},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7494.pdf},
    publisher        = {ACM Press},
    title            = {{CakeML}: A Verified Implementation of {ML}},
    year             = {2014}
  }