@misc{indiciae617e7f3e839b,
  title = {Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces},
  author = {Santiago Cuéllar and Naomi Spargo and Jonathan Daugherty and David Darais},
  year = {2025},
  url = {https://arxiv.org/abs/2510.02579},
  note = {Source identifier: 2510.02579}
}