TY  - RPRT
TI  - Typing Strictness (Extended Version)
AU  - Daniel Sainati
AU  - Joseph W. Cutler
AU  - Benjamin C. Pierce
AU  - Stephanie Weirich
PY  - 2026
UR  - https://arxiv.org/abs/2510.16133
ID  - 2510.16133
ER  -