TY  - RPRT
TI  - Higher-Order, Data-Parallel Structured Deduction
AU  - Thomas Gilray
AU  - Arash Sahebolamri
AU  - Sidharth Kumar
AU  - Kristopher Micinski
PY  - 2022
UR  - https://arxiv.org/abs/2211.11573
ID  - 2211.11573
ER  -