@inproceedings{Tan_MKFON_16, address = {Nara, Japan}, author = {Tan, Yong Kiam and Myreen, Magnus and Kumar, Ramana and Fox, Anthony and Owens, Scott and Norrish, Michael}, booktitle = {International Conference on Functional Programming}, keywords = {cakeml}, month = sep, pages = {14}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/9352.pdf}, title = {A New Verified Compiler Backend for {CakeML}}, year = {2016} }