@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} }