TY - RPRT TI - Abstracting Extensible Recursive Functions AU - Alex Hubers AU - Apoorv Ingle AU - Andrew Marmaduke AU - J. Garrett Morris PY - 2025 UR - https://arxiv.org/abs/2410.11742 ID - 2410.11742 ER -