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.

Tail Recursion Transformation for Invertible Functions

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen. Tail Recursion Transformation for Invertible Functions. In Martin Kutrib, Uwe Meyer 0003, editors, Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings. Volume 13960 of Lecture Notes in Computer Science, pages 73-88, Springer, 2023. [doi]

Authors

Joachim Tilsted Kristensen

This author has not been identified. Look up 'Joachim Tilsted Kristensen' in Google

Robin Kaarsgaard

This author has not been identified. Look up 'Robin Kaarsgaard' in Google

Michael Kirkedal Thomsen

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