@misc{indiciae521c7341ccfa,
  title = {Functional Program Synthesis with Higher-Order Functions and Recursion Schemes},
  author = {Matheus Campos Fernandes},
  year = {2025},
  url = {https://arxiv.org/abs/2511.23354},
  note = {Source identifier: 2511.23354}
}