TY  - RPRT
TI  - Complete first-order reasoning for functional programs
AU  - Adithya Murali
AU  - Lucas Peña
AU  - Ranjit Jhala
AU  - P. Madhusudan
PY  - 2026
UR  - https://arxiv.org/abs/2605.23022
ID  - 2605.23022
ER  -