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]
Abstract is missing.