@misc{indiciae8eb86b8ff13d,
  title = {Tail recursion transformation for invertible functions},
  author = {Joachim Tilsted Kristensen and Robin Kaarsgaard and Michael Kirkedal Thomsen},
  year = {2023},
  doi = {10.1007/978-3-031-38100-3\_6},
  url = {https://arxiv.org/abs/2302.10049},
  note = {Source identifier: 2302.10049}
}