@misc{indiciae38d0156fdd82,
  title = {Abstracting Extensible Recursive Functions},
  author = {Alex Hubers and Apoorv Ingle and Andrew Marmaduke and J. Garrett Morris},
  year = {2025},
  url = {https://arxiv.org/abs/2410.11742},
  note = {Source identifier: 2410.11742}
}