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.

The verified CakeML compiler backend

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish. The verified CakeML compiler backend. Journal of Functional Programming, 29, 2019. [doi]

Authors

Yong Kiam Tan

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

Magnus O. Myreen

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

Ramana Kumar

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

Anthony C. J. Fox

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

Scott Owens

This author has not been identified. Look up 'Scott Owens' in Google

Michael Norrish

This author has not been identified. Look up 'Michael Norrish' in Google
runs on