TY  - RPRT
TI  - Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
AU  - Chester J. F. Gould
AU  - William J. Bowman
PY  - 2025
UR  - https://arxiv.org/abs/2509.13489
ID  - 2509.13489
ER  -