%0 Journal Article %1 journals/pacmpl/OwensNKMT17 %A Owens, Scott %A Norrish, Michael %A Kumar, Ramana %A Myreen, Magnus O. %A Tan, Yong Kiam %D 2017 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 18:1-18:27 %T Verifying efficient function calls in CakeML. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#OwensNKMT17 %V 1

@article{journals/pacmpl/OwensNKMT17, added-at = {2021-02-17T00:00:00.000+0100}, author = {Owens, Scott and Norrish, Michael and Kumar, Ramana and Myreen, Magnus O. and Tan, Yong Kiam}, biburl = {https://www.bibsonomy.org/bibtex/2d3778f331487f4f42cc5f79abf0edf71/dblp}, ee = {https://doi.org/10.1145/3110262}, interhash = {bb351e8c2a2416c683c8561522d43d4f}, intrahash = {d3778f331487f4f42cc5f79abf0edf71}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {18:1-18:27}, timestamp = {2024-04-08T09:54:37.000+0200}, title = {Verifying efficient function calls in CakeML.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#OwensNKMT17}, volume = 1, year = 2017 }