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.

Automatically Introducing Tail Recursion in CakeML

Oskar Abrahamsson, Magnus O. Myreen. Automatically Introducing Tail Recursion in CakeML. In Meng Wang 0002, Scott Owens, editors, Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Volume 10788 of Lecture Notes in Computer Science, pages 118-134, Springer, 2017. [doi]

Authors

Oskar Abrahamsson

This author has not been identified. Look up 'Oskar Abrahamsson' in Google

Magnus O. Myreen

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