TY  - RPRT
TI  - Syntactic Completions with Material Obligations
AU  - David Moon
AU  - Andrew Blinn
AU  - Thomas J. Porter
AU  - Cyrus Omar
PY  - 2025
DO  - 10.1145/3763182
UR  - https://arxiv.org/abs/2508.16848
ID  - 2508.16848
ER  -