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