External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verified compilation of CakeML to multiple machine-code targets

Anthony C. J. Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar. Verified compilation of CakeML to multiple machine-code targets. In Yves Bertot, Viktor Vafeiadis, editors, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017. pages 125-137, ACM, 2017. [doi]

Authors

Anthony C. J. Fox

This author has not been identified. Look up 'Anthony C. J. Fox' in Google

Magnus O. Myreen

This author has not been identified. Look up 'Magnus O. Myreen' in Google

Yong Kiam Tan

This author has not been identified. Look up 'Yong Kiam Tan' in Google

Ramana Kumar

This author has not been identified. Look up 'Ramana Kumar' in Google
runs on