Michael Ballantyne, Rafaello Sanna, Jason Hemann, William E. Byrd, Nada Amin: Multi-stage Relational Programming. Proc. ACM Program. Lang. 9(PLDI): 1591-1615 (2025)