@misc{indiciae6e9b6c636367,
  title = {Higher-Order, Data-Parallel Structured Deduction},
  author = {Thomas Gilray and Arash Sahebolamri and Sidharth Kumar and Kristopher Micinski},
  year = {2022},
  url = {https://arxiv.org/abs/2211.11573},
  note = {Source identifier: 2211.11573}
}