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.

Verifying efficient function calls in CakeML

Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan. Verifying efficient function calls in CakeML. Proceedings of the ACM on Programming Languages, 1(ICFP), 2017. [doi]

Authors

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

Ramana Kumar

This author has not been identified. Look up 'Ramana Kumar' 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
runs on