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]
@inproceedings{AbrahamssonM17,
title = {Automatically Introducing Tail Recursion in CakeML},
author = {Oskar Abrahamsson and Magnus O. Myreen},
year = {2017},
doi = {10.1007/978-3-319-89719-6_7},
url = {https://doi.org/10.1007/978-3-319-89719-6_7},
researchr = {https://researchr.org/publication/AbrahamssonM17},
cites = {0},
citedby = {0},
pages = {118-134},
booktitle = {Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
editor = {Meng Wang 0002 and Scott Owens},
volume = {10788},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-89719-6},
}