@inproceedings{Owens_NKTM_17,
    month            = sep,
    numpages         = {26},
    publisher        = {ACM},
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/Owens_NKTM_17.pdf},
    booktitle        = {International Conference on Functional Programming},
    title            = {Verifying Efficient Function Calls in {CakeML}},
    address          = {Oxford},
    author           = {Owens, Scott and Norrish, Michael and Kumar, Ramana and Tan, Yong Kiam and Myreen, Magnus},
    year             = {2017},
    date             = {2017-9-4}
  }